Our People

Faculty, researchers, and students advancing AI safety at Stanford.




LEADERSHIP
Clark Barrett

Clark Barrett

Professor (Research) of Computer Science, Co-Director

Grace X. Gao

Grace X. Gao

Associate Professor of Aeronautics and Astronautics, and by courtesy, Electrical Engineering, Co-Director

Mykel Kochenderfer

Mykel Kochenderfer

Associate Professor of Aeronautics and Astronautics and, by courtesy, Computer Science, Co-Director

Kiana Jafari

Kiana Jafari

Executive Director

FACULTY
Somil Bansal

Somil Bansal

Assistant Professor of Aeronautics and Astronautics

Jose Blanchet

Jose Blanchet

Professor of Management Science and Engineering

Emma Brunskill

Emma Brunskill

Associate Professor of Computer Science

David Dill

David Dill

Donald E. Knuth Professor in the School of Engineering, Emeritus

Paul Edwards

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

Charles Eesley

Associate Professor and W.M. Keck Foundation Faculty Scholar in the Department of Management Science and Engineering

Carlos Guestrin

Carlos Guestrin

Associate Professor of Computer Science

Sanmi Koyejo

Sanmi Koyejo

Assistant Professor of Computer Science

Steve Luby

Steve Luby

Professor of Medicine (Infectious Diseases & Geographic Medicine), Co-Director, Stanford Existential Risks Initiative

Azalia Mirhoseini

Azalia Mirhoseini

Assistant Professor of Computer Science

Marco Pavone

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

Dorsa Sadigh

Assistant Professor of Computer Science and of Electrical Engineering

Mac Schwager

Mac Schwager

Assistant Professor of Aeronautics and Astronautics, Director of the Multi-robot Systems Lab

Madeleine Udell

Madeleine Udell

Assistant Professor, Management Science and Engineering and, by courtesy, Electrical Engineering

Nina Vasan

Nina Vasan

Clinical Assistant Professor of Psychiatry

Diyi Yang

Diyi Yang

Assistant Professor of Computer Science

James Zou

James Zou

Associate Professor of Biomedical Data Science and, by courtesy, of Computer Science and of Electrical Engineering

POSTDOCTORAL SCHOLARS & RESEARCH FELLOWS
Duncan Eddy

Duncan Eddy

Postdoctoral Scholar

Learning-based failure testing of cyberphysical systems

Pei Huang

Pei Huang

Postdoctoral Scholar

Automated reasoning and trustworthy AI

Sydney Katz

Sydney Katz

Postdoctoral Scholar

Verification of autonomous systems

Max Lamparth

Max Lamparth

Postdoctoral Scholar

Interpretability, robustness and safety of language models

Robert J. Moss

Robert J. Moss

Postdoctoral Scholar

Risk assessment of autonomous systems

Marc Schlichting

Marc Schlichting

Postdoctoral Scholar

Machine learning for safety validation

Jakob Thumm

Jakob Thumm

Postdoctoral Scholar

Teaching robots to safely work with humans

Kemal Nazim Ure

Kemal Nazim Ure

Visiting Scholar

Robust planning for autonomous systems

Min Wu

Min Wu

Postdoctoral Scholar

AI safety: robustness, explainability, and fairness

Hao Zhu

Hao Zhu

Postdoctoral Scholar

Human-agent interaction

GRADUATE STUDENTS
Chris Agia

Chris Agia

Ph.D. Candidate

Robot learning, integrated task & motion planning

Wajeeha Ahmad

Wajeeha Ahmad

Ph.D. Candidate

Impact of AI on misinformation and web content quality

Samuel Akinwande

Samuel Akinwande

Ph.D. Candidate

Formal verification of nonlinear systems

Emma Beharry

Emma Beharry

M.S. Candidate

AI alignment

Suneel Belkhale

Suneel Belkhale

Ph.D. Candidate

Robot perception and decision making

Tim Chen

Tim Chen

Ph.D. Candidate

Safety in Learned Environments

Kaila Coimbra

Kaila Coimbra

Ph.D. Candidate

Lunar surface rover positioning

Polo Contreras

Polo Contreras

Ph.D. Candidate

Multi-robot systems

Marta Cortinovis

Marta Cortinovis

Ph.D. Candidate

Lunar navigation ephemeris modeling

Adam Dai

Adam Dai

Ph.D. Candidate

Provably safe trajectory planning under uncertainty

Amine Elhafsi

Amine Elhafsi

Ph.D. Candidate

Planning and control for safe robotic navigation

Aaron Feldman

Aaron Feldman

Ph.D. Candidate

Statistical performance guarantees

Zeyuan Feng

Zeyuan Feng

Ph.D. Candidate

Formal safety for machine learning in robotics

Matt Foutter

Matt Foutter

Ph.D. Candidate

Safe and reliable autonomy

Aryaman Gupta

Aryaman Gupta

Ph.D. Candidate

Safe and robust learning-based control

Amelia Hardy

Amelia Hardy

M.S. Candidate

Constrained decision problems

Keidai Iiyama

Keidai Iiyama

Ph.D. Candidate

Navigation for the Moon

Albert Lin

Albert Lin

Ph.D. Candidate

Machine learning for robot control and safety

Udayan Mandal

Udayan Mandal

M.S. Candidate

Formal verification

Daniel Neamati

Daniel Neamati

Ph.D. Candidate

Urban GNSS-based navigation using environmental features

Shreya Parjan

Shreya Parjan

M.S. Candidate

Safety validation for cyber-physical systems

Mira Partha

Mira Partha

Ph.D. Candidate

Neural Radiance Field (NeRF) maps of urban Environments

Ann-Katrin Reuel

Ann-Katrin Reuel

Ph.D. Candidate

Ethics of automated driving

Rohan Sinha

Rohan Sinha

Ph.D. Candidate

Trustworthy autonomy and out-of-distribution generalization

Megha Srivastava

Megha Srivastava

Ph.D. Candidate

Reliability, security, and robustness through the lens of human-AI interaction and collaboration

Jiankai Sun

Jiankai Sun

Ph.D. Candidate

Reliable and efficient AI systems

Tanvi Thoria

Tanvi Thoria

M.S. Candidate

Failure mode characterization in LLM reasoning

Romeo Valentin

Romeo Valentin

Ph.D. Candidate

Uncertainty calibration of neural networks

Guillem Casadesus Vila

Guillem Casadesus Vila

Ph.D. Candidate

Lunar positioning, navigation, and timing

Scott Viteri

Scott Viteri

Ph.D. Candidate

AI alignment via ontology maps

Hao Wang

Hao Wang

Ph.D. Candidate

Safety of foundation model-enabled autonomous systems

Jun Wang

Jun Wang

M.S. Candidate

Autonomous agent falsification

Isaac Ward

Isaac Ward

Ph.D. Candidate

Model predictive control for safety critical systems

Hailey Warner

Hailey Warner

Ph.D. Candidate

Safety validation for aerospace systems

Asta Wu

Asta Wu

Ph.D. Candidate

GNSS-based relative localization for cars

Haoze Wu

Haoze Wu

Ph.D. Candidate

Formal verification

Alan Yang

Alan Yang

Ph.D. Candidate

GNSS code design using AI and machine learning

Yibo Zhang

Yibo Zhang

Ph.D. Candidate

AI safety from a fundamental perspective