Featured Story
A new general-purpose optimizer can speed up the design of walking robots, self-driving vehicles, and other autonomous systems.
The most exciting thing about my work is giving safety-critical autonomous systems rigorous proof of their safety, efficiency, and performance.
Contact Info
Administrative Contact
Echo Aodhan
Financial Contact
Kim Ngan Le
617.324.5542
Specialization and Research Interests
Formal methods, control, and machine learning for the design and analysis of safe autonomous systems, cyber-physical systems, and robotic systems
Teaching Interests
Formal methods, control, decision making, autonomous systems
Academic Degrees
Ph.D., University of Illinois at Urbana-Champaign, 2019; B.E., Tsinghua University, 2013
Positions Held at MIT
Wilson Assistant Professor of Aeronautics and Astronautics
Positions Held outside MIT
Postdoc Scholar, California Institute of Technology, 2019-2020
Affiliated Labs
Awards & Honors
2020
ACM Doctoral Dissertation Award, Association for Computing Machinery (ACM)
2020
Coordinated Science Laboratory Student Thesis Award, University of Illinois at Urbana-Champaign
2018
Mac Van Valkenburg Research Award
2017
Yi-Min Wang and Pi-Yu Chung Endowed Research Award
2017
Young Researcher, 5th Heidelberg Laureate Forum
2016
Rising Stars in Electrical Engineering and Computer Science (EECS)