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.
Writings
A Model-Theoretic Study of Allen's Interval Algebra