Taylor T Johnson (Preferred)
Taylor Johnson
Taylor T. Johnson
Taylor T Johnson
Associate Professor, Computer Science, 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
Career & Education History
Associate Professor
Computer Science, Vanderbilt University (vanderbilt.edu)
2021 – Present
Assistant Professor
Electrical Engineering and Computer Science, Vanderbilt University (vanderbilt.edu)
2016 – 2021
Assistant Professor
Computer Science and Engineering, University of Texas, Arlington (uta.edu)
2013 – 2016
PhD student
Electrical and Computer Engineering, University of Illinois, Urbana Champaign (illinois.edu)
2008 – 2013
Undergrad student
Electrical and Computer Engineering, 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
Publications
Co-Authors
- Abhishek Dubey
- Adam Zimmerman
- Alexandre Donzé
- Ali Davoudi
- Alison P. Appling
- Amir Maleki
- Amol Vengurlekar
- Anda Liang
- Andreas Podelski
- Andrew Sogokon
- Anh Tuan Tran
- Anne M. Tumlin
- Artjoms Sinkarovs
- Augustin Lemesle
- Ayana A. Wild
- Bardh Hoxha
- Benjamin Russo
- Bernard Serbinowski
- Bolun Qi
- Changliu Liu
- Chao Huang
- Charles Hartsell
- Chelsea Sidrane
- Christian Schilling
- Christoph Csallner