Qianchuan Ye

PhD

Qianchuan Ye

PhD

Qianchuan Ye

PhD

Assistant Professor

Department of Computer Science and Engineering

School of Engineering and Applied Sciences

Research Topics

Interactive proof assistants; type theory and programming languages; program verification and synthesis; language-based security

Contact Information

214B Capen Hall

Buffalo NY, 14260

qcye@buffalo.edu

Related Links

Curriculum Vitae

Prof. Ye's website

Prof. Ye's Google Scholar page

Biography Teaching Research

Education

PhD, Computer Science, Purdue University, 2024
BS, Computer Science, Sichuan University, China, 2013