I am a PhD student in the Computer and Information Science department at the University of Pennsylvania. I am working on formalizing the metatheory of logic programming in the proof assistant Coq. More generally, I am interested in how perspectives from traditional logic, the Curry-Howard correspondence, and proof-search interact to shed light on the foundations of computation.

Prior to UPenn, I studied theoretical computer science and mathematics at Oxford and Florida State University.


February 12, 2020 I will be visiting EPFL in March
December 10, 2019 New website launched
December 9, 2019 Finished with qualifying exams.