I am Chuchu Fan, a postdoc researcher at Caltech, working with Prof. Richard Murray. I am also a visiting researcher at UC Irvine CS Department.

I was a graduate student in Prof. Sayan Mitra‘s group and ECE department, UIUC. Before that, I got my bachelor’s degree from Tsinghua University, Department of Automation with honor.

I will join the AeroAstro department of MIT as an assistant professor in Fall 2020. I am looking for several Ph.D. students to join my lab at MIT. Drop me an email with your CV if you are interested.  

My research interests include: Safe Autonomy; Cyber-Physical Systems; Formal methods; Control Theory; Embedded Systems; Robotics; Theoretical Computer Science; Game Theory.

Check out our verification and synthesis tools:

  • DryVR: a verification tool for black-box CPS
  • C2E2: a verification tool for CPS modeled as hybrid systems with differential equations
  • RealSyn: a synthesis tool for linear system with reach-avoid specification

You can find my CV HERE.

Please see this page for my job application materials used last year.


Address: 217 Annenberg, 330 S Chester Ave, Pasadena, CA 91125
Email: chuchu at caltech.edu
Website: chuchufan.info

Web Analytics