Sicun Gao

Sicun Gao headshot

Sicun Gao

IEEE Region: 6 (Western U.S.)


Professional Positions

  • University of California, San Diego (July 2017 – Present) Assistant Professor, Computer Science and Engineering
  • Massachusetts Institute of Technology (October 2014 – June 2017) Postdoctoral Researcher, Computer Science and Artificial Intelligence Laboratory
  • Carnegie Mellon University (November 2012 – September 2014) Postdoctoral Researcher, Computer Science Department


  • Ph.D. in Logic, Carnegie Mellon University (October 2012) Advisors: Edmund Clarke and Jeremy Avigad
    • Ph.D. Thesis: Computable Analysis, Hybrid Automata, and Decision Procedures
    • Committee: Edmund Clarke, Jeremy Avigad, Lenore Blum, Randy Bryant, and Jeannette Wing
    • M.S. Thesis: Counting Zeros in Finite Fields with Gröbner Bases
  • B.S. in Logic and B.S. in Mathematics, Peking University (July 2006)


  • Air Force Young Investigator (2018)
  • Gödel Research Prize Fellowship Silver Medal, Kurt Gödel Society (2014)
  • CMU School of Computer Science Distinguished Doctoral Dissertation Honorable Mention (2013)

Positions & Affiliations

University of California, San Diego
United States