Sicun (Sean) Gao

Postdoctoral Researcher
Computer Science Department
Carnegie Mellon University

Email: sicung at cs dot cmu dot edu
Office: Gates-Hillman Center 9004

I combine logical/algebraic/numerical approaches to develop automated and reliable methods for the design/analysis/implementation/security of cyber-physical systems.



Recent Invited Talks


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