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.



  • I will be visiting EPFL in March

    cancelled due to COVID-19

  • New website launched

  • Finished with qualifying exams