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.