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 fixed-point logics 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
cancelled due to COVID-19
December 10, 2019
New website launched
December 9, 2019
Finished with qualifying exams