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

CV

Publications