Welcome
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.
Posts
-
Using Hakyll as a Lightweight CMS
—
March 21, 2020
Building the UPenn PL Club website with Hakyll and elbow grease. -
How Nix Derivation Instantiation Works
—
March 20, 2020
How the Nix package manager computes store paths
News
-
February 12, 2020
I will be visiting EPFL in Marchcancelled due to COVID-19
-
December 10, 2019
New website launched -
December 9, 2019
Finished with qualifying exams