I am a PhD student under MartÃn Escaró. Until May 2015, Paul Blain Levy was a co-supervisor. 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.
Teaching
Other stuff |