You can find much of my work on GitHub.

Research interests

I am a member of the following research groups:

My primary interests are in the realm of building and restricting type-theoretic foundations. Other research interests include the interplay between type theory and category theory, substructural logics, dependent type theories, and modal logic.

Last updated