Hi! I’m Zhe Zeng; thanks for visiting my homepage. I’m a third 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 build AI systems that are able to efficiently and reliably make inference and learn from heterogeneous 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.

Interests

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

Education

  • 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

Teaching

CS 161 Fundamentals of Artificial Intelligence

Contact

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