Prof. Taylor Johnson has joined the faculty of the Electrical Engineering and Computer Science as an Assistant Professor in the department of Electrical Engineering and Computer Science. His research focus is to develop formal verification techniques and software tools for cyber-physical systems (CPS).

Prof. Taylor Johnson has joined the Institute as an Assistant Professor in the department of Electrical Engineering and Computer Science. Before joining Vanderbilt Taylor was an assistant professor of Computer Science and Engineering at the University of Texas at Arlington.  His research focus is to develop formal verification techniques and software tools for cyber-physical systems (CPS) with goals of improving CPS safety, reliability, and security, while applying and advancing foundational results from hybrid systems, formal methods, control theory, distributed systems, and real-time systems. Dr. Johnson has published over thirty papers on these formal methods and their applications across domains including aerospace and transportation systems, power and energy systems, and robotics.