Research

My research is on internal logics and enriched categories. Currently, I'm working on relating properties of an enriched category to corresponding properties of its underlying ordinary category and its base of enrichment.

My master's thesis was on cubical type theory for stable infinity-categories. Here is my thesis, and here are some slides.