Qianchuan Ye
PhD
Research Topics
Interactive proof assistants; type theory and programming languages; program verification and synthesis; language-based security
Education
- PhD, Computer Science, Purdue University, 2024
- BS, Computer Science, Sichuan University, China, 2013