Chuchu Fan

Chuchu Fan is an Assistant Professor at the Department of Aeronautics and Astronautics, Massachusetts Institute of Technology, where she leads the Reliable Autonomous Systems Lab. Her research integrates formal methods, machine learning, and control theory to ensure safety in autonomous systems.

• ACM Doctoral Dissertation Award (2020)

Her work focuses on verification algorithms for embedded systems, including tools like DryVR and RealSyn. She applies these technologies to industrial-scale problems such as autonomous vehicles and medical devices, bridging theoretical advancements with practical scalability. Her research emphasizes sensitivity analysis, symbolic reachability, and data-driven verification of nonlinear hybrid systems.