Sean/Sicun Gao
Postdoctoral Researcher, MIT CSAIL/EECS

Email: sicung at csail dot mit dot edu
Office: 32-G728 (32 Vassar Street, Cambridge, MA 02139 USA)

Research
I work on automated reasoning for building better cyber-physical and AI systems.
Software

Papers

Activities

Background

The infinite we shall do right away. The finite may take a little longer. -- Stanislaw Ulam