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

• Domain-Theoretic Semantics for Functional Logic Programming - POPL 2026

Address

81 Woodland Road
Bristol
BS8 1US
United Kingdom