Qianchuan Ye


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 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, 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]


all news


Department of Computer Science
305 N. University Street
West Lafayette, IN 47907