Qianchuan Ye
PhD
Research Topics
Interactive proof assistants; type theory and programming languages; program verification and synthesis; language-based security
Interactive proof assistants; type theory and programming languages; program verification and synthesis; language-based security