I am currently a PhD Candidate of Computer Science at Purdue University, advised by Benjamin Delaware.
My research interests lie in interactive proof assistants, type theory and programming languages, program verification and synthesis, and broadly anything about proofs.
Starting in fall 2024, I will be a (tenure track) assistant professor in the CSE department at University at Buffalo, The State University of New York.
I am looking for students to work with. If you are interested in formal reasoning or programming languages, feel free to contact me!
[cv] [cv.pdf] [pronouncing my name]
- Email: ye202@purdue.edu
- ORCID: 0000-0002-5977-5236
- GitHub: ccyip
News
- Apr 12, 2024: I will join the CSE department at University at Buffalo, The State University of New York, as a tenure track assistant professor starting this fall!
- Apr 12, 2024: I have passed my PhD final exam!
Address
Department of Computer Science
305 N. University Street
West Lafayette, IN 47907