Zhe Zhou
I am currently a PhD candidate of Computer Science at Purdue University, advised by Prof. Suresh Jagannathan and work closely with Prof. Benjamin Delaware. Before I started my PhD program, I was a full-time software engineer in Magvii (Face++) from 2017 to 2018. I received my bachelor's degree from Peking Univiersty in 2017, advised by Prof. Guangyu Sun.
My research interests lie in programming languages (PL) - program verification and syntheiss, property-based testing, and refinement types. I am also interested in combine machine learning (ML) and PL - using ML to solve PL problems, and vice versa.
Here is my CV.