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:
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