Email: ye202@purdue.edu

About

I am currently a PhD Student of Computer Science at Purdue University, advised by Benjamin Delaware.

My research interests lie in proof assistants, type theory and programming languages, program verification and synthesis, and broadly anything about proof.

CV

Publications

Academic Service