Chuchu Fan

Chuchu Fan is the T. Wilson (1953) Professor in Aeronautics and assistant professor in the Department of Aeronautics and Astronautics at MIT, where she leads the Reliable Autonomous Systems Lab (REALM). Fan’s research focuses on using rigorous mathematics, including formal methods, machine learning, and control theory for the design, analysis, and verification of safe autonomous systems. Fan received her PhD in computer engineering from the University of Illinois at Urbana-Champaign and BE in automation from Tsinghua University, China.

Selected Publications

• Tong, M., Dawson, C. R., & Fan, C. (2023). Enforcing safety for vision-based controllers via Control Barrier Functions and Neural Radiance Fields. IEEE International Conference on Robotics and Automation (ICRA). https://doi.org/10.1109/icra48891.2023.10161482
• Chen, Y., Gandhi, R., Zhang, Y. & Fan, C. (2023). NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models. Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, pages 15880–15903
• Sun, D., Chen, J., Mitra, S., & Fan, C. (2022). Multi-Agent motion planning from signal temporal logic specifications. IEEE Robotics and Automation Letters, 7(2), 3451–3458. https://doi.org/10.1109/lra.2022.3146951

Media

• November 18, 2020: MIT News, Advancing artificial intelligence research.
• 2020: ACM, University of Illinois at Urbana-Champaign Graduate Receives ACM Doctoral Dissertation Award