Taylor Johnson

VeriVITAL Students and Group Members

VeriVITAL Group Photos

Principal Investigator

Name

Research Interests

Contact

Taylor T. Johnson

Cyber-physical systems, formal methods, hybrid systems, safe AI, trustworthy AI

Phone, Email, Etc.

Current Group Members

Postdoctoral Research Associates and Research Scientists

Diego Manzanas Lopez, started postdoc fall 2022
Tianshu Bao, Vanderbilt EECS; MSc, Applied Mathematics, SUNY Stony Brook, 2016; started fall 2017

PhD Students

Anne Tumlin, joined group fall 2023 (co-advised with Tyler Derr)
Thuy Dung (Judy) Nguyen, joined group fall 2023 (co-advised with Kevin Leach)
Samuel Sasaki, joined group summer 2023
Preston Robinette, Vanderbilt EECS; joined group fall 2020; 2021 NDSEG Fellow
Serena Serbinowksa, Vanderbilt EECS; joined group summer 2019

MSc Thesis Students

Undergraduate Students

Past Group Members and Alumni

Postdoctoral Research Associate Alumni

Joel Rosenfeld, 2017-2019, Vanderbilt EECS, PhD University of Florida with Prof. Mike Jury, Previous Position: Postdoc at University of Florida with Prof. Warren Dixon; next position: Assistant Professor of Mathematics and Statistics at University of South Florida
Weiming Xiang, 2015-2019, Vanderbilt EECS, PhD, Southwest Jiaotong University with Prof. Jian Xiao, previous position: Research Associate with Prof. James Lam at the University of Hong Kong; next position: Assistant Professor at Augusta University
Andrew Sogokon, Vanderbilt EECS, PhD University of Edinburgh with Senior Lecturer Paul Jackson; next position: postdoc at Carnegie Mellon University with Prof. Andre Platzer
Khaza Anuarul Hoque, UTA CSE; PhD, Concordia University, Canada with Prof. Otmane Ait Mohamed; now postdoc at Oxford University with Prof. Alessandro Abate; current position: Assistant Professor at University of Missouri

PhD Alumni

Neelanjana Pal, Vanderbilt EECS; joined group summer 2019 to spring 2024
Tianshu Bao, Vanderbilt EECS; MSc, Applied Mathematics, SUNY Stony Brook, 2016; started fall 2017
Diego Manzanas Lopez, Vanderbilt EECS; BSc Physics, Presbyterian College, 2017; started fall 2017
Nathaniel (Nate) Hamilton, Vanderbilt EECS; BS Computer Science, Lipscomb University, 2017; started summer 2017; 2019 NDSEG Fellow
Xiaodong Yang, Vanderbilt EECS; MSc, Mechanical Engineering, 2016; started fall 2017
Patrick Musau, Vanderbilt EECS; BSc Physics and Applied Mathematics, Furman University, 2017; started fall 2017
Hoang-Dung Tran, Vanderbilt EECS; 2015-2020; next position: Assistant Professor at University of Nebraska Lincoln
Shafiul Chowdhury, UTA CSE, co-advised with Christoph Csallner; BSc Bangladesh University of Engineering and Technology (BUET), started fall 2015; next position: Research Scientist at Facebook
Luan Viet Nguyen, UTA CSE; spring 2014 to spring 2018; first position: postdoc with Rajeev Alur at UPenn; current position: Assistant Professor at University of Dayton
Omar Ali Beg, UTA EE, co-advised with Ali Davoudi; started summer 2014, graduated summer 2017; first position: postdoc with Ali Davoudi; current position: Assistant Professor at University of Texas Permian Basin

Other Past Graduate Students

Yuanqi Xie, Vanderbilt EECS; MSc, Bioengineering, Case Western Reserve University 2017; fall 2017 to fall 2018
Ran Hao, Vanderbilt EECS; MSc, Electrical Engineering and Computer Science (EECS), Case Western Reserve University, 2017; BSc, Reliability and Systems Engineering, Beihang University; fall 2017 to spring 2018

MSc Thesis Alumni

Ayana Wild, Vanderbilt EECS; BS Computer Science and Mathematics, Tennessee State University; started summer 2017, Examining the Impact of Curricular and Robotic Interventions
Ulysses Yu, MSc Thesis, Combining Reachable Set Computation with Neuron Coverage
Rahul Kawadgave, MSc Thesis, "Smartphone-Based Crowd Sourcing of Bicycle and Pedestrian Conflict Data for Transportation Safety Assessment", August 2016, UTA EE (first position: Engineer at Qualcomm)
Randy Long, MSc Thesis, "Time-Triggered Controller Area Network Design for Formula SAE Racecars and Technique for Measuring CPU Usage on Systems with Nested and Non-Nested Interrupts", August 2016, UTA EE (first position: Engineer at Faraday Future)
Nathan Hervey, MSc Thesis, Localization and Control of Distributed Mobile Robots with the Microsoft Kinect and StarL May 2016, UTA CSE (first position: Software Engineer at Lockheed-Martin, Fort Worth, Texas)
Shweta Hardas, MSc Thesis, "Virtual And Hardware Prototyping Of A Modular Multilevel Inverter For Photovoltaics" May 2015, UTA EE (first position: Electronics Engineer at Cummins, Inc., Columbus/Seymour, Indiana)
Ruoshi Zhang, MSc Thesis, "Model-based Design And Analysis Of Automotive Systems Using Time-triggered Controller Area Networks" May 2015, UTA EE (first position: PhD student in EE at UTA)
Amol Vengurlekar, MSc Thesis, "Design Of A Real Time Reconfigurable Bioreactor" May 2015, UTA EE (first position: Electrical Engineer at Dish Network, previously EchoStar)

Undergraduate Student Alumni

Timothy Liang, BSc Project, Vanderbilt EECS
Stirling Carter, BSc Project, Vanderbilt EECS
Austin Wilms, BSc Project, Vanderbilt EECS
Yinghui Yang, BSc Project, Vanderbilt EECS
Anissa Alexander, BSc Project, Vanderbilt EECS
Christina Wang, BSc Project, Vanderbilt EECS
Daniel Hong, BSc Project, Johns Hopkins University Mechanical Engineering
Eric Nelson, BSc Project, UTA, Computer Science and Engineering (CSE), 2013-2014; first position: graduate student at Texas A&M University

Prospective Students: I am looking for ambitious and motivated graduate and undergraduate students. Research Assistantships (RAs) are available for competitive candidates. If you are a Vanderbilt student looking for an advisor, or if you are interested in applying to Vanderbilt for graduate studies in Electrical Engineering, Computer Science, or Computer Engineering, please email me with your resume/CV if you are interested to do research in formal methods, hybrid systems, embedded systems / cyber-physical systems, software engineering, distributed systems, and related areas. If you do not include your resume/CV, I will definitely not respond. As I receive many such requests, I cannot reply to every email, but do my best to reply to competitive applicants.