A new general-purpose optimizer can speed up the design of walking robots, self-driving vehicles, and other autonomous systems.
Formal methods, control, and machine learning for the design and analysis of safe autonomous systems, cyber-physical systems, and robotic systems
Formal methods, control, decision making, autonomous systems
Ph.D., University of Illinois at Urbana-Champaign, 2019; B.E., Tsinghua University, 2013
Wilson Assistant Professor of Aeronautics and Astronautics
Postdoc Scholar, California Institute of Technology, 2019-2020