Hi! I’m Zhe Zeng; thanks for visiting my homepage. I’m a fourth year Ph.D. student in Computer Science at University of California, Los Angeles (UCLA). It’s very lucky for me to be advised by Professor Guy Van den Broeck and to be a member of Statistical and Relational Artificial Intelligence (StarAI) Lab✨🐻✨.

My research interests primarily lie in the intersection of Artificial Intelligence and formal methods. The goal of my research is to combine probabilistic and formal verification techniques to deal with both uncertainty as well as relational structure, and to enable AI systems to efficiently and reliably learn and infer from noisy, structured, and mixed discrete-continuous data.

I received my bachelor’s degree in Mathematics at Zhejiang University. As an undergraduate student, I was lucky to collaborate with Professor Qiang Liu at Dartmouth College in theory and methods for robust, scalable, and nonparametric variational inference.

Download my CV.


  • Artificial Intelligence
  • Probabilistic Inference
  • Weighted Model Integration
  • SMT Constraints
  • Probabilistic Graphical Models
  • Kernel Methods


  • Ph.D. in Artificial Intelligence

    2018 -- Present, UCLA

  • BSc in Mathematics with honors

    2014 -- 2018, Zhejiang University

  • Exchange student in Mathematics

    2016 Fall, Ohio State University

Working Experience

Yahoo Research




Program Committees


  • Fanqi Yan (Master at CAS, now PhD student at UT Austin)
  • Wenzhe Li (Undergrad at Tsinghua University, now PhD student at Tsinghua University)


CS 161 Fundamentals of Artificial Intelligence


  • zhezeng at cs.ucla.edu
  • 404 Westwood Plaza, Los Angeles, CA 90095
  • Room 386 Engineering VI