Qianchuan Ye

PhD

Assistant Professor

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

Buffalo NY, 14260

Vincent Chan

Technical Assistant (Csl)

2nd Year PhD Candidate, advised by Qianchuan Ye

Computer Science and Engineering

207 Capen Hall Desk 08

Phone: None listed

. Gagan Chandan

1st Year PhD Candidate, advised by Qianchuan Ye

Computer Science and Engineering

No address listed

Phone: None listed