My research is on univalent 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. At present, I'm looking specifically at partial functions and computability theory in univalent type theory. 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.