My research is on Homotopy Type theory and models of Martin-Löf Type Theory; I'm particularly interested in the relationship between type theory and other topics in constructive math. I'm also interested in coalgebras, point-free topology and topos theory; this doesn't mean I know anything about them.
Previously, I did a double BSc in Applied Mathematics and Computer Science at Illinois Institute of Technology, followed by the Barcelona Master in Pure and Applied Logic organized by University of Barcelona. In between, I brewed a lot of coffee.
Slides from a brief (15 minute) talk I gave on homotopy type theory to some other PhD students.