Faculty, researchers, and students advancing AI safety at Stanford.
Paul Edwards
Director, Program on Science, Technology & Society, Co-Director, Stanford Existential Risks Initiative, Professor of Information and History (Emeritus), University of Michigan
Charles Eesley
Associate Professor and W.M. Keck Foundation Faculty Scholar in the Department of Management Science and Engineering
Steve Luby
Professor of Medicine (Infectious Diseases & Geographic Medicine), Co-Director, Stanford Existential Risks Initiative
Marco Pavone
Associate Professor of Aeronautics and Astronautics and, by courtesy, of Electrical Engineering, of Computational and Mathematical Engineering, and of Information Systems
Mac Schwager
Assistant Professor of Aeronautics and Astronautics, Director of the Multi-robot Systems Lab
Pei Huang
Postdoctoral Scholar
Automated reasoning and trustworthy AI
Sydney Katz
Postdoctoral Scholar
Verification of autonomous systems
Max Lamparth
Postdoctoral Scholar
Interpretability, robustness and safety of language models
Robert J. Moss
Postdoctoral Scholar
Risk assessment of autonomous systems
Marc Schlichting
Postdoctoral Scholar
Machine learning for safety validation
Kemal Nazim Ure
Visiting Scholar
Robust planning for autonomous systems
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
Emma Beharry
M.S. Candidate
AI alignment
Suneel Belkhale
Ph.D. Candidate
Robot perception and decision making
Tim Chen
Ph.D. Candidate
Safety in Learned Environments
Kaila Coimbra
Ph.D. Candidate
Lunar surface rover positioning
Polo Contreras
Ph.D. Candidate
Multi-robot systems
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
Tanvi Thoria
M.S. Candidate
Failure mode characterization in LLM reasoning
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
Isaac Ward
Ph.D. Candidate
Model predictive control for safety critical systems
Hailey Warner
Ph.D. Candidate
Safety validation for aerospace 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