Taylor T 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.
- Collaborative Research: Operator theoretic methods for identification and verification of dynamical systems
- FMitF: Track II: Hybrid and Dynamical Systems Verification on the CPS-VO
- SHF: Small: Collaborative Research: Fuzzing Cyber-Physical System Development Tool Chains with Deep Learning (DeepFuzz-CPS)
- Understandable and Reusable Formal Verification for Cyber-Physical Systems