Taylor T Johnson (Preferred)
, Taylor Johnson
, Taylor T. Johnson
Taylor T Johnson
Vanderbilt University
- Joined June 2019
Names
Emails
****@gmail.com (Confirmed)
, ****@vanderbilt.edu (Confirmed)
, ****@uta.edu (Confirmed)
, ****@ieee.org (Confirmed)
, ****@illinois.edu (Confirmed)
, ****@acm.org (Confirmed)
Personal Links
Education & Career History
Associate Professor
Vanderbilt University (vanderbilt.edu)
2021 – Present
Assistant Professor
Vanderbilt University (vanderbilt.edu)
2016 – 2021
Assistant Professor
University of Texas, Arlington (uta.edu)
2013 – 2016
PhD student
University of Illinois, Urbana Champaign (illinois.edu)
2008 – 2013
Undergrad student
Rice University (rice.edu)
2004 – 2008
Advisors, Relations & Conflicts
Expertise
cyber-physical systems
Present
formal methods
Present
verification and validation
Present
trustworthy AI
Present
safe AI
Present
formal verification
Present
neural network verification
Present
autonomy
Present