Zhe Zhou (周喆)
I am a postdoctoral researcher at Purdue University, working with Prof. Suresh Jagannathan. I received my Ph.D. in Computer Science from Purdue University, where I was advised by Prof. Suresh Jagannathan and Prof. Benjamin Delaware. Prior to my doctoral studies, I worked as a full-time software engineer at Megvii (Face++) from 2017 to 2018. I earned my bachelor's degree from Peking University in 2017, where I was advised by Prof. Guangyu Sun.
My research focuses on formal methods, with particular on formal verification and property-based testing for complex systems software. I develop automated verification techniques to establish deep semantic correctness guarantees for complex systems software---beyond basic crash safety or memory safety. My current work explores how AI tools (e.g., LLMs) can strengthen automated verification and complicate property (e.g., liveness and reachability property) reasoning for distributed systems and concurrent programs. I am also interested in the intersection of machine learning (ML) and PL—both applying ML techniques to formal methods problems and using formal methods insights to enhance ML.
Here is my CV.