Purdue University, advised by Benjamin Delaware.
My research interests lie in interactive proof assistants, type theory and programming languages, program verification and synthesis, language-based security, and broadly anything about proofs.
I am looking for students to work with. If you are interested in formal reasoning or programming languages, feel free to contact me!
[cv] [cv.pdf] [pronouncing my name]
214B Capen Hall
Buffalo, NY 14260