My primary interests lie in mathematical logic and theoretical computer science; more specifically, I am interested in category theory and categorical logic, type theory (including homotopy type theory) and proof theory.
I am also interested in foundations of physics and philosophy of mathematics, particularly as they relate to my primary interests above.
I am a DPhil Candidate in Computer Science at Oriel College, Oxford. I am supervised by Professor Samson Abramsky and funded by an EPSRC Doctoral Training Partnership Studentship.
Before coming to Oxford, I spent two years on the other side of the Atlantic, in Pittsburgh, PA, completing an MS in Logic, Computation and Methodology at Carnegie Mellon University. My thesis, supervised by Professor Steve Awodey and Doctor Jonas Frey, involved working in homotopy type theory (with an impredicative universe) in order to refine impredicative encodings of certain inductive types from system F (the polymorphic lambda calculus), so that they satisfy the expected universal properties.
Prior to this, I obtained an MSci in Physics and Philosophy with First Class Honours from the University of Bristol.
I was born in Hexham, Northumberland, but grew up in the wonderful cathedral city of Lichfield, Staffordshire.