Taylor T. Johnson
Vanderbilt University — Computer Science · Associate Professor
Research focus: formal methods for AI systems · cyber-physical systems · verification of neural networks · autonomous systems
保护项目 4 的预审审核：构建基于 formal methods for AI systems, cyber-physical systems, verification of neural networks, autonomous systems 的拟合参数图；请提及一个近期论文或项目，并说明您计划在第一个学期启动的一个具体扩展。
Who this advisor fits / 什么情况下适合你
- You care about faculty-track outcomes; public alumni rows include verifiable faculty placements.
- Treat this as a CSRankings-backed advisor-fit lead; ask directly about recent student outcomes, active openings, and advising cadence.
- 你在意学术教职/教职轨去向，公开校友里有可核对的教职案例。
- 请将该建议视为 CS 排名指导顾问匹配；直接询问近期学生成果、活跃职位及指导节奏。
Public evidence as of 2026-06-10
These are decision-support signals compiled from public evidence (faculty pages, publications, lab sites) to help you ask better questions — not a ranking, rating, or allegation about this advisor. / 以上为基于公开信息整理的择校参考，帮助你提出更好的问题，并非排名、评分或对该导师的指控。
Ask a verified 学长学姐 / 同校 .edu 认证点评
The thing applicants say only 师兄师姐 can tell you — current & former students of this lab, verified by their school .edu. Open the full dossier to read or add a verified note.