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.

Software

Papers

Recent Invited Talks

Background

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