Short Bio (e.g., for talks)

Taylor T. Johnson is an Assistant Professor of Electrical Engineering and Computer Science (EECS) 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. Taylor was previously an Assistant Professor of Computer Science and Engineering (CSE) at the University of Texas at Arlington (September 2013 to August 2016). Taylor earned a PhD in Electrical and Computer Engineering (ECE) at the University of Illinois at Urbana-Champaign in 2013, an MSc in ECE at Illinois in 2010, and a BSEE in ECE from Rice University in 2008. Taylor's research focus is developing formal verification techniques and software tools for cyber-physical systems (CPS) with goals of improving safety, reliability, and security. Taylor has published over two-dozen papers on these verification and validation methods and their applications across domain areas such as power and energy systems, aerospace, transportation systems, and robotics, two of which were recognized with best paper awards, from the IEEE and IFIP, respectively. Taylor is a 2016 recepient of the AFOSR Young Investigator Program (YIP) award, a 2015 recepient of the NSF Computer and Information Science and Engineering (CISE) Research Initiation Initiative (CRII) award, and his research is and/or has been supported by AFRL, AFOSR, NSF (CISE CCF/SHF, CNS/CPS; ENG ECCS/EPCN), NVIDIA, and USDOT.

More Professional Short Bio (e.g., for talks)

Taylor T. Johnson is an Assistant Professor of Electrical Engineering and Computer Science (EECS) 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. 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) at the University of Illinois at Urbana-Champaign in 2013, an MSc in ECE at Illinois in 2010, and a BSEE in ECE from Rice University in 2008. Dr. Johnson's research focus is developing formal verification techniques and software tools for cyber-physical systems (CPS) with goals of improving CPS safety, reliability, and security, while advancing foundational results and applying techniques and tools from hybrid systems, formal methods, control theory, distributed systems, and real-time systems. Dr. Johnson has published over two-dozen papers on these formal methods and their applications across domain areas such as aerospace, power and energy systems, transportation systems, and robotics, two of which were recognized with best paper awards, from the IEEE and IFIP, respectively. Dr. Johnson is a recepient of the AFOSR Young Investigator Program (YIP) award, and his research is supported by AFRL, AFOSR, NSF (CISE CCF/SHF, CISE CNS/CPS, ENG ECCS/EPCN), NVIDIA, and USDOT. Dr. Johnson is a member of ACM, AIAA, IEEE, and SAE.

Longer Bio

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). Taylor was previously an Assistant Professor of Computer Science and Engineering (CSE) at the University of Texas at Arlington (September 2013 to August 2016). Taylor 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. Taylor worked in industry for Schlumberger at various times between 2005 and 2010 helping develop novel embedded control systems for downhole tools. Taylor's research focus is developing formal verification techniques and software tools for cyber-physical systems (CPS). Taylor has published over four-dozen papers on these methods and their applications across CPS domains such as power and energy systems, aerospace and avionics systems, automotive systems, transportation systems, 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. Taylor's research aims to develop reliable embedded and cyber-physical systems by advancing and applying techniques and tools from formal methods, control theory, embedded systems, and software engineering. Taylor received the AFOSR Summer Faculty Fellowship Program (SFFP) award to visit the Air Force Research Laboratory (AFRL)'s Information Directorate in 2015, was a Visiting Faculty Research Program (VFRP) award fellow at AFRL's Information Directorate in 2014, and was a visiting graduate research assistant through an SFFP award at AFRL's Space Vehicles Directorate at Kirtland Air Force Base in 2011. Taylor is a 2016 recipient of the AFOSR Young Investigator Program (YIP) award, a 2015 recipient of the NSF Computer and Information Science and Engineering (CISE) Research Initiation Initiative (CRII), and his research is / has been supported by AFRL, AFOSR, ARO, NSF (CISE CCF/SHF, CNS/CPS; ENG ECCS/EPCN), NVIDIA, ONR, Toyota, and USDOT.