About
PhD student at the University of Bristol in the programming languages research group.
Supervisor: Dr. Alex Kavvos.
Research Interests
Keenly interested in the application of mathematics to programming languages, including:
- denotational semantics,
- (homotopy) type theory,
- pointless topology.
Memorable Comments
Things I have either said (and someone laughed at!) or read.
- My favourite pastime is proving the fundamental lemma for a logical relation.
- Classical logic is more intuitionistic (appealing to intuition) than intuitionistic logic.
- Computer Science Contradicts Mathematics - the original title of Peter Freyd's article Algebraically Complete Categories.
Publications
Address
81 Woodland Road
Bristol
BS8 1US
United Kingdom