CISE Seminar: Chuchu Fan, Massachusetts Institute of Technology

  • Starts: 3:00 pm on Friday, November 12, 2021
  • Ends: 4:00 pm on Friday, November 12, 2021

Chuchu Fan an Assistant Professor in the Department of Aeronautics and Astronautics at MIT. Before that, she was a postdoc researcher at Caltech and got her Ph.D. from the Electrical and Computer Engineering Department at the University of Illinois at Urbana-Champaign in 2019. She earned her bachelor’s degree from Tsinghua University, Department of Automation, in 2013. Her group 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.

Abstract: Building Dependable Autonomous Systems through Learning Certified Decisions and Control

The introduction of machine learning (ML) and artificial intelligence (AI) creates unprecedented opportunities for achieving full autonomy. However, learning-based methods in building autonomous systems can be extremely brittle in practice and are not designed to be verifiable. In this talk, I will present our recent progress on combining ML with formal methods and control theory to enable the design of provably dependable and safe autonomous systems. I will introduce our techniques to generate safety certificates and certified decision and control for complex autonomous systems, even when the systems have multiple agents, follow nonlinear and nonholonomic dynamics, and need to satisfy high-level specifications.

Faculty Host: Wenchao Li

Student Host: Zili Wang

8 Saint Mary's Street, PHO 210 ; To join virtually, please register.
Bio & Abstract:

Back to Calendar