Zhe Zhou (周喆)
I earned my Ph.D. in Computer Science at Purdue University, advised by Prof. Suresh Jagannathan and Prof. Benjamin Delaware. Prior to starting my PhD program, I was a full-time software engineer at Magvii (Face++) from 2017 to 2018. I received my bachelor's degree from Peking University in 2017, advised by Prof. Guangyu Sun.
My research interests lie in programming languages (PL), particularly in (automated) program verification and synthesis, property-based testing, and refinement types. My work focuses on two main streams: one involves verifying coverage completeness and incorrectness using underapproximation-style reasoning, and the other involves verifying effectful programs and distributed system using a trace-based approach and automata techniques. I am also interested in the intersection of machine learning (ML) and PL -- leveraging ML to solve PL problems, and vice versa.
Here is my CV.