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)