Sean/Sicun Gao
Postdoctoral Researcher, MIT CSAIL/EECS

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

Research
I work on automated reasoning, and its applications in computational systems that have physical impacts.
Software

Papers

Background

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