About

PhD student at the University of Bristol in the programming languages research group, supervised by Alex Kavvos.

Research Interests

Interested in programming language semantics, including:

• denotational semantics,
• (homotopy) type theory,
• pointless topology.

My favourite pastime is proving the fundamental lemma of a logical relation.

Publications

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

Address

81 Woodland Road
Bristol
BS8 1US
United Kingdom