Zheng Guo

PhD student

University of California San Diego

I am a Ph.D. student in the Computer Science and Engineering Department at the University of California, San Diego . I am fortunate to be advised by Prof. Nadia Polikarpova , and be a member of Programming Systems group .

I am interested in using Programming Languages techniques to automate programming tasks. Currently, my focus is on program synthesis tools, which generate programs from high-level specifications. My goal is to enable the synthesis to scale to real-world tasks and to infer human intentions from limited information.


  • Program Synthesis
  • Automated Reasoning
  • Programming Languages


  • MSc in Computer Science, 2019

    University of California, San Diego

  • BSc in Software Engineering, 2017

    Shanghai Jiao Tong University



A type-driven synthesis engine for Haskell. It supports features like polymorphism, type classes, higher-order functions, etc.


Program Synthesis by Type-Guided Abstraction Refinement