Purdue University, advised by Benjamin Delaware.
My research interests lie in interactive proof assistants, type theory and programming languages, program verification and synthesis, 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]
Department of Computer Science
305 N. University Street
West Lafayette, IN 47907