Taylor Johnson

Assistant Professor

Taylor Johnson

Taylor Johnson is an Assistant Professor of Computer Engineering (CmpE), Computer Science (CS), and Electrical Engineering (EE) at Vanderbilt University, 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'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 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.