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. [CV]

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