Skip to main content

Karen Leung

Assistant Professor, Aeronautics & Astronautics

Karen Leung

Research focus

Control theory, robot motion planning, optimization, formal methods and verification, and machine learning


Ph.D., M.S. Aeronautics and Astronautics, Stanford University, 2021
B.Eng. Aeronautical Engineering, B.S. Mathematics, University of Sydney, 2014

Karen Leung joins Aeronautics & Astronautics this fall from NVIDIA Research where she worked as a research scientist in the Autonomous Vehicle Research Group. As a Ph.D. student at Stanford University, Leung was a member of the Stanford Autonomous Systems Lab where she developed methodologies for the analysis, design and control of autonomous systems such as self-driving cars and autonomous aerospace vehicles.

Leung’s research blends formal methods, machine learning, and robot motion planning to develop safe and trustworthy autonomous systems that can seamlessly interact with humans. Leung received one of six inaugural Science Hub faculty research awards from the UW + Amazon Science Hub for her work to develop proactive safety frameworks for human-robot interaction and navigation in warehouse settings.