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.|