Scholar
Taylor T Johnson
Google Scholar ID: MdTkXNYAAAAJ
Associate Professor, Computer Science, Vanderbilt University
formal methods
hybrid systems
formal verification
safe AI
trustworthy AI
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
5,981
H-index
42
i10-index
97
Publications
20
Co-authors
55
list available
Publications
1 items
SCARCE: Scalable Cascade Analysis for Rare-event Characterisation via Embeddings
2026
Cited
0
Co-authors
13 total
Hoang-Dung Tran
University of Florida
Diego Manzanas Lopez
Research Scientist, Vanderbilt University
Luan Viet Nguyen
Assistant Professor, University of Dayton
Xiaodong Yang
Visa Inc
Nathaniel Hamilton
AI Scientist, Parallax Advanced Research
Sayan Mitra
Professor, ECE, University of Illinois at Urbana Champaign
Joel A. Rosenfeld
Associate Professor, Department of Mathematics and Statistics, University of South Florida
Christian Schilling
Associate Professor at Aalborg University