News and About

About

Brief Bio: Taylor T. Johnson is an Assistant Professor of Computer Science and Engineering at the University of Texas at Arlington. Taylor completed his PhD in Electrical and Computer Engineering (ECE) at the University of Illinois at Urbana-Champaign in 2013, where he worked in the Coordinated Science Laboratory with Prof. Sayan Mitra. Taylor completed his MSc in ECE at Illinois in 2010, earned a BSEE from Rice University in 2008, and was a visiting research assistant at the Air Force Research Laboratory's Space Vehicles Directorate at Kirtland Air Force Base in 2011. Taylor worked in industry for Schlumberger at various times between 2005 and 2010 helping develop new downhole embedded control systems. Taylor's research focus is developing algorithmic techniques and software tools to improve the reliability of cyber-physical systems. Taylor has published over a dozen papers on these methods and their applications in areas like power and energy systems, aerospace, and robotics, two of which were recognized with best paper awards, from the IEEE and IFIP, respectively. Taylor's research aims to develop reliable embedded and cyber-physical systems by advancing and applying techniques and tools from control theory, embedded systems, formal methods, and software engineering.

Research Synopsis: Software defects in embedded systems are rampant and are becoming more prevalent as exemplified by frequent product recalls in industries like automotive, telecommunications, and industrial control systems. Defects in such cyber-physical systems (CPS) often result from the interaction of cyber and physical components of the systems. We have developed formal verification techniques and tools for CPS. For example, one technique is for verifying safety properties of distributed CPS where arbitrarily many agents participate in a common protocol, such as in air traffic control protocols, network protocols, networked control systems, and swarm robotics. This technique verifies systems with arbitrarily many participants, using a small model theorem we developed, which allows for reasoning about arbitrarily large instances using finite instances. Our implementation of this technique in a software tool (called Passel) allowed us to prove automatically, for example, that in one of NASA's conceptual air traffic control protocols, all aircraft maintain a safe separation, regardless of the number of aircraft involved in the protocol. We have also developed techniques for verifying linear hybrid systems with model uncertainties and showed the technique's effectiveness in analyzing power electronics.

Physical Location:
Taylor Johnson
Department of Computer Science and Engineering
Engineering Research Building, Room 559
University of Texas at Arlington
500 UTA Blvd.
Arlington, Texas 76010

Email: taylor.johnson AT nospam DOT gmail DOT com
Phone: 817-272-3610
Fax: 817-272-3784

Mailing Address:
Taylor Johnson
Box 19015
500 UTA Blvd., ERB 640
Department of Computer Science and Engineering
University of Texas at Arlington
Arlington, Texas 76019-0015

Lab Location:
Engineering Research Building, Room 105B

Taylor T. Johnson
high resolution; talk bio

Prospective Students: I am looking for ambitious and motivated graduate and undergraduate students. If you are a UTA student looking for an advisor, or if you are interested in applying to UTA for graduate studies in Computer Science and Engineering, please email me with your resume/CV if you are interested to do research in embedded systems, software engineering, cyber-physical systems, and related areas.

CV / Resume

My detailed curriculum vitae is available for viewing as a PDF file. (Please note, I have removed some information from the files posted here for privacy concerns. If you would like a complete copy, please contact me.)