Karen Leung

Karen Leung


I am a research scientist working with NVIDIA’s Autonomous Vehicle Research Group. My research interests include safe and interaction-aware planning and control for autonomous vehicles, and developing structured and interpretable deep learning models grounded by logic.

I received my Ph.D. and M.S. in Aeronautics and Astronautics from Stanford University. My Ph.D. dissertation, entitled “On Using Formal Methods for Safe and Robust Robot Autonomy,” leverages techniques from formal methods to provide safety assurances for a robot autonomy stack and build a computational paradigm to infuse logic into robot learning.

Check out my personal website to find out more.