- PhD Student
Research
I'm interested in dependent type theory, its syntax and semantics, and using it to make theoretical/mathenatical reasoning easier via internal logics; I'm also interested in the adjacent areas of category theory, categorical logic, topos theory and set theory.
I'm also interested in computational complexity (particularly implicit and descriptive). My PhD project aims to combine these two broad areas by using (sheaf) models of dependent type theory to reason about computational complexity.
