You can find much of my work on GitHub.
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.