We provide quality, cutting-edge educational experiences to computing majors at the bachelor's, master's and PhD levels. Our students' research and accomplishments have made an incredible impact on our daily lives and continue to advance society.
Interactive proof assistants; type theory and programming languages; program verification and synthesis; language-based security
214B Capen Hall
Buffalo NY, 14260
qcye@buffalo.edu