Chuchu Fan is an Associate Professor (pre-tenure) in the Department of Aeronautics and Astronautics (AeroAstro) and Laboratory for Information and Decision Systems (LIDS) at MIT. Before that, she was a postdoc researcher at Caltech and got her Ph.D. at the University of Illinois at Urbana-Champaign. She earned her bachelor’s degree from Tsinghua University. Her research group, Realm at MIT, works on using rigorous mathematics, including formal methods, machine learning, and control theory, for the design, analysis, and verification of safe autonomous systems. Chuchu is the recipient of an NSF CAREER Award, an AFOSR Young Investigator Program (YIP) Award, and the 2020 ACM Doctoral Dissertation Award.