I’m Enzuo Zhu(朱恩佐 in Chinese), a PhD student in computer science at UC Davis, advised by Prof. Caleb Stanford. Currently my research work is about building new algorithms in SAT solving related problems, for example: SAT solvers, dead state detections, etc.

Previously I was a master student in computer science at UC Riverside, advised by Prof. Yan Gu and Prof. Yihan Sun, working on designing parallel algorithms to certain problems, and before that I was working with prof. Cheng Li at University of Science and Technology of China on automated verification skills on fine-grained consistency for my bachelor study.

My research interests lie in various topics in computer sciences, especially in designing algorithms or solutions to parallel computing, verification, compiler, etc.

News

Sep 2024 I’ve been admitted to PhD program at UC Davis!

Sep 2023 My first research with Prof. Cheng Li on automated verification framework will appear in Eurosys 2024.

Sep 2023 New Homepage! (To announce the next exciting news.)