Sicun (Sean) Gao

Postdoctoral Researcher
Computer Science Department
Carnegie Mellon University
Technical Coordinator of CMACS (NSF Expedition in Computing)

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 real-world engineering problems, mostly related to the design/verification/implementation/security of cyber-physical systems.

News

Projects

Papers

[In Progress] [Published] [Notes and Manuals]
Recent and Upcoming Talks

Background

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