معرفی
Zhe Zhou is a postdoctoral researcher at Purdue University's Department of Computer Science, working under the mentorship of Prof. Suresh Jagannathan and Prof. Benjamin Delaware. His research focuses on advancing automated program verification and synthesis tools.
- Education: Ph.D. in Computer Science from Purdue University (2021) and B.S. from Peking University (2017).
His research bridges programming languages (PL) and machine learning (ML), emphasizing automated program verification, refinement types, and test input generators. Recent work explores symbolic execution and type-guided repair mechanisms.
Zhe's publications span key conferences like OOPSLA, POPL, and PLDI, highlighting innovations in reducing expert intervention in verification tools. Two papers received distinguished awards.
- Scientific Awards: Distinguished Paper Award (PLDI 2023), Distinguished Artifact Award (OOPSLA 2021).
He has no formal advisees and collaborates actively with academic advisors. His GitHub contributions reflect ongoing work in OCaml-based projects like HATs.
