Our People
Faculty, researchers, and students advancing AI safety at Stanford.
Faculty, researchers, and students advancing AI safety at Stanford.
Clark Barrett
Professor (Research) of Computer Science, Co-Director
Grace X. Gao
Associate Professor of Aeronautics and Astronautics, and by courtesy, Electrical Engineering, Co-Director
Mykel Kochenderfer
Associate Professor of Aeronautics and Astronautics and, by courtesy, Computer Science, Co-Director
Kiana Jafari
Executive Director
Somil Bansal
Assistant Professor of Aeronautics and Astronautics
Jose Blanchet
Professor of Management Science and Engineering
Emma Brunskill
Associate Professor of Computer Science
David Dill
Donald E. Knuth Professor in the School of Engineering, Emeritus
Charles Eesley
Associate Professor and W.M. Keck Foundation Faculty Scholar in the Department of Management Science and Engineering
Paul Edwards
Director, Program on Science, Technology & Society, Co-Director, Stanford Existential Risks Initiative, Professor of Information and History (Emeritus), University of Michigan
Carlos Guestrin
Associate Professor of Computer Science
Sanmi Koyejo
Assistant Professor of Computer Science
Steve Luby
Professor of Medicine (Infectious Diseases & Geographic Medicine), Co-Director, Stanford Existential Risks Initiative
Azalia Mirhoseini
Assistant Professor of Computer Science
Marco Pavone
Associate Professor of Aeronautics and Astronautics and, by courtesy, of Electrical Engineering, of Computational and Mathematical Engineering, and of Information Systems
Dorsa Sadigh
Assistant Professor of Computer Science and of Electrical Engineering
Mac Schwager
Assistant Professor of Aeronautics and Astronautics, Director of the Multi-robot Systems Lab
Nina Vasan
Clinical Assistant Professor of Psychiatry
Madeleine Udell
Assistant Professor, Management Science and Engineering and, by courtesy, Electrical Engineering
Diyi Yang
Assistant Professor of Computer Science
James Zou
Associate Professor of Biomedical Data Science and, by courtesy, of Computer Science and of Electrical Engineering
Duncan Eddy
Postdoctoral Scholar
Learning-based failure testing of cyberphysical systems
Pei Huang
Postdoctoral Scholar
Automated reasoning and trustworthy AI
Max Lamparth
Postdoctoral Scholar
Interpretability, robustness and safety of language models
Robert J. Moss
Postdoctoral Scholar
Risk assessment of autonomous systems
Sydney Katz
Postdoctoral Scholar
Verification of autonomous systems
Kemal Nazim Ure
Visiting Scholar
Robust planning for autonomous systems
Min Wu
Postdoctoral Scholar
AI safety: robustness, explainability, and fairness
Marc Schlichting
Postdoctoral Scholar
Machine learning for safety validation
Chris Agia
Ph.D. Candidate
Robot learning, integrated task & motion planning
Wajeeha Ahmad
Ph.D. Candidate
Impact of AI on misinformation and web content quality
Samuel Akinwande
Ph.D. Candidate
Formal verification of nonlinear systems
Suneel Belkhale
Ph.D. Candidate
Robot perception and decision making
Polo Contreras
Ph.D. Candidate
Multi-robot systems
Tim Chen
Ph.D. Candidate
Safety in Learned Environments
Kaila Coimbra
Ph.D. Candidate
Lunar surface rover positioning
Marta Cortinovis
Ph.D. Candidate
Lunar navigation ephemeris modeling
Adam Dai
Ph.D. Candidate
Provably safe trajectory planning under uncertainty
Amine Elhafsi
Ph.D. Candidate
Planning and control for safe robotic navigation
Aaron Feldman
Ph.D. Candidate
Statistical performance guarantees
Zeyuan Feng
Ph.D. Candidate
Formal safety for machine learning in robotics
Matt Foutter
Ph.D. Candidate
Safe and reliable autonomy
Aryaman Gupta
Ph.D. Candidate
Safe and robust learning-based control
Amelia Hardy
M.S. Candidate
Constrained decision problems
Keidai Iiyama
Ph.D. Candidate
Navigation for the Moon
Albert Lin
Ph.D. Candidate
Machine learning for robot control and safety
Udayan Mandal
M.S. Candidate
Formal verification
Daniel Neamati
Ph.D. Candidate
Urban GNSS-based navigation using environmental features
Shreya Parjan
M.S. Candidate
Safety validation for cyber-physical systems
Mira Partha
Ph.D. Candidate
Neural Radiance Field (NeRF) maps of urban Environments
Ann-Katrin Reuel
Ph.D. Candidate
Ethics of automated driving
Rohan Sinha
Ph.D. Candidate
Trustworthy autonomy and out-of-distribution generalization
Megha Srivastava
Ph.D. Candidate
Reliability, security, and robustness through the lens of human-AI interaction and collaboration
Jiankai Sun
Ph.D. Candidate
Reliable and efficient AI systems
Romeo Valentin
Ph.D. Candidate
Uncertainty calibration of neural networks
Guillem Casadesus Vila
Ph.D. Candidate
Lunar positioning, navigation, and timing
Scott Viteri
Ph.D. Candidate
AI alignment via ontology maps
Hao Wang
Ph.D. Candidate
Safety of foundation model-enabled autonomous systems
Jun Wang
M.S. Candidate
Autonomous agent falsification
Hailey Warner
Ph.D. Candidate
Safety validation for aerospace systems
Isaac Ward
Ph.D. Candidate
Model predictive control for safety critical systems
Asta Wu
Ph.D. Candidate
GNSS-based relative localization for cars
Haoze Wu
Ph.D. Candidate
Formal verification
Alan Yang
Ph.D. Candidate
GNSS code design using AI and machine learning
Yibo Zhang
Ph.D. Candidate
AI safety from a fundamental perspective