About

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

Research Interests

Interested in the application of mathematics to programming languages, including:

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

Publications

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

Address

81 Woodland Road
Bristol
BS8 1US
United Kingdom