Sicun Gao IEEE Region: 6 (Western U.S.) Email Biography 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 Education 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) Awards 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) Position(s) & Affiliation(s) University of California, San Diego United States