My main interests lie in category theory and categorical semantics, especially when applied to dependent type theories. I also enjoy theorem proving (particularly for verifying the work I do), model theory and modal logic.


    1. A Model-Theoretic Study of Allen's Interval Algebra
    2. MEng thesis at Imperial College London
    3. July 2022
    4. pdf, bibtex


    1. Forcing in Type Theory
    2. Southern Logic Seminar
    3. 23 February 2023
    4. abstract, slides