I am a (tenure track) assistant professor in the Computer Science and Engineering department at University at Buffalo, The State University of New York. I received my PhD in Computer Science from Purdue University, advised by Benjamin Delaware.
My research interests lie in interactive proof assistants, type theory and programming languages, program verification and synthesis, language-based security, and broadly anything about proofs.
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: qcye@buffalo.edu
- ORCID: 0000-0002-5977-5236
- GitHub: ccyip
News
- May 10, 2024: I am now officially a doctor!
- 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 in this fall!
- Apr 12, 2024: I have passed my PhD final exam!
Address
214C Capen Hall
Buffalo, NY 14260