I am a (tenure track) assistant professor in the Department of Computer Science and Engineering 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
Address
214B Capen Hall
Buffalo, NY 14260