Dr. Taylor T. Johnson is an Assistant Professor of Computer Engineering (CmpE), Computer Science (CS), and Electrical Engineering (EE) in the Department of Electrical Engineering and Computer Science (EECS) in the School of Engineering (VUSE) at Vanderbilt University (since August 2016), where he directs the Verification and Validation for Intelligent and Trustworthy Autonomy Laboratory (VeriVITAL) and is a Senior Research Scientist in the Institute for Software Integrated Systems (ISIS). Dr. Johnson serves as the President of a medical information technology startup firm, CelerFama, Inc., and as the Chief Technology Officer (CTO) of Verivital, LLC, both of which serve for technology transfer and commercialization of his research group's results to industry. Dr. Johnson was previously an Assistant Professor of Computer Science and Engineering (CSE) at the University of Texas at Arlington (September 2013 to August 2016). Dr. Johnson earned a PhD in Electrical and Computer Engineering (ECE) from the University of Illinois at Urbana-Champaign in 2013, where he worked in the Coordinated Science Laboratory with Prof. Sayan Mitra, and earlier earned an MSc in ECE at Illinois in 2010 and a BSEE from Rice University in 2008. Dr. Johnson worked in industry for Schlumberger at various times between 2005 and 2010 developing novel embedded control systems for downhole tools. Dr. Johnson's research focus is developing formal verification techniques and software tools for cyber-physical systems (CPS). Dr. Johnson has published over 60 papers on these methods and their applications across CPS domains, such as power and energy, aerospace, automotive, transportation, biotechnology, and robotics, two of which were recognized with best paper awards, from the IEEE and IFIP, respectively, and one of which was awarded an ACM Best Software Repeatability Award. Dr. Johnson is a 2018 and 2016 recipient of the AFOSR Young Investigator Program (YIP) award, a 2015 recipient of the National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Research Initiation Initiative (CRII), and his research is / has been supported by AFOSR, ARO, AFRL, DARPA, NSA, NSF (CISE CCF/SHF, CISE CNS/CPS, ENG ECCS/EPCN), the MathWorks, NVIDIA, ONR, Toyota, and USDOT. Dr. Johnson is a member of AAAS, ACM, AIAA, IEEE, and SAE, and is a TN Professional Engineer Intern.