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. Her research group, the Realm at MIT, works on developing computational tools that integrate rigorous mathematics into machine learning and AI for the design, analysis, and verification of safe, large-scale, and complex systems.