PhD Student
Program of Pure and Applied
Logic
Carnegie Mellon University
Advisors
Prof Edmund Clarke
Prof Jeremy
Avigad
Interests
Decision
Procedures (Reals, Quantifiers, Bit-vectors)
Hybrid System
and Software Verification (Member of the Model
Checking Group at CMU)
Computational Algebraic Geometry
(Real Closed Fields, Finite Fields)
Finite Model Theory
(Definability in Fragments of SOL)
Background
BS in Mathematical Logic
BS in
Mathematics
Peking University, Beijing, China (2006)
Contact
135 Baker Hall
Carnegie
Mellon University, Pittsburgh, PA 15213
sicung AT cs DOT cmu DOT edu