Chuchu Fan — Aerospace Engineering faculty at MIT. Research: Formal methods, control, and machine learning for the design and analysis of safe autonomous.