Taylor T Johnson
Scholar

Taylor T Johnson

Google Scholar ID: MdTkXNYAAAAJ
Associate Professor, Computer Science, Vanderbilt University
formal methodshybrid systemsformal verificationsafe AItrustworthy AI
Citations & Impact
All-time
Citations
5,981
 
H-index
42
 
i10-index
97
 
Publications
20
 
Co-authors
55
list available
Contact
No contact links provided.
Resume (English only)