معرفی
Taylor Johnson is an Associate Professor of Computer Science and Electrical and Computer Engineering at Vanderbilt University's School of Engineering. He directs the Verification and Validation for Intelligent and Trustworthy Autonomy Laboratory (VeriVITAL) and serves as a Senior Research Scientist in the Institute for Software Integrated Systems. Previously, he was an Assistant Professor at the University of Texas at Arlington from 2013 to 2016. His research focuses on formal verification techniques for cyber-physical systems (CPS), emphasizing safety, reliability, and security through hybrid systems, formal methods, and control theory. He has published extensively on neural network verification, earning best paper awards and recognition from IEEE, IFIP, and ACM.
Education:
- Ph.D., Electrical and Computer Engineering (University of Illinois at Urbana-Champaign, 2013)
- M.Sc., Electrical and Computer Engineering (University of Illinois at Urbana-Champaign, 2010)
- B.S.E.E., Electrical and Computer Engineering (Rice University, 2008)
Research Interests: Formal verification of neural networks and CPS, safety-critical systems, autonomous systems, and AI/ML security. His work bridges theoretical foundations (e.g., hybrid systems) with practical applications in aerospace, energy systems, and robotics.
Key Contributions: Developed the NNV tool for neural network verification, led the Verification of Neural Networks Competition (VNN-COMP), and pioneered techniques for robust federated learning and malware detection.
Awards: AFOSR YIP Award (2016), NSF CRII Award (2015), and multiple best paper honors. His research is funded by AFRL, NSF, Intel, NVIDIA, and industry partners.
Labs & Collaborations: VeriVITAL Lab (Vanderbilt), collaborations with United Technologies Research Center, Boeing, and Toyota.
