Registered user since Tue 19 Dec 2017
Name:Taylor T Johnson
Country:United States
Affiliation:Vanderbilt University
Personal website: http://www.TaylorTJohnson.com
X (Twitter): https://x.com/TaylorJohnson
GitHub: https://github.com/ttj
Research interests:formal methods, autonomous cyber-physical systems (CPS), trustworthy AI, neural network verification, safe AI
Contributions
Using general profile