I am a postdoc in the Algebra & Geometry Section and the Centre for Geometry and Topology at the University of Copenhagen. My research insterests lie mainly in category theory and type theory. Previously I was a PhD student at the Autonomous University of Barcelona under the supervision of
Joachim Kock. Before my PhD I was a physicist, interested in cosmology and quantum gravity.
| 06 Oct. 2025 | Type Theory for (∞, ∞)-Categories |
| Algebra/Topology Seminar, University of Copenhagen |
| 14 May 2025 | A type-theoretic definition of lax (∞, ∞)-limits |
| ProLog Seminar, Chalmers University of Technology |
| 03 Mar. 2024 | Type Theory for the Working Mathematician (Part 2) |
| Topology seminar, Autonomous University of Barcelona |
| 12 Apr. 2024 | Type Theory for the Working Mathematician (Part 1) |
| Topology seminar, Autonomous University of Barcelona |
| 08 Dec. 2023 | Lawvere's Fixed Point Theorem and its Applications |
| Foundations Day, University of Copenhagen |
| 13 Mar. 2023 | CaTT - A Type-Theoretic Definition of ω-Categories |
| University of San Diego (Remote talk) |
| 16 Jan. 2023 | CaTT - A Type-Theoretic Definition of ω-Categories |
| Topology seminar, University of Barcelona |
| 27 Jul. 2022 | Type Theory from the Category Theoretical Point of View |
| Max Planck Institute for Mathematics in the Sciences |
| 14 Jul. 2022 | A very brief Introduction to Homotopy Type Theory |
| International Congress of Mathematicians: Geometry and Topology, Sectional Workshop |
| University of Copenhagen |
| 29 Oct. 2019 | From Instantons to Baby Universes |
| Institute of Mathematics, Czech Academy of Sciences |
| 12 Nov. 2018 | Wormhole Effects |
| Institute for Theoretical Physics, University of Heidelberg |