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 interactive theorem provers, proof/program synthesis, verification, programming languages and broadly anything about proof.

CV

Publications