Moien! I am a luxembourgish PhD student at LIPN based in Paris. I am supervised by Jonas Frey, Morgan Rogers and Damiano Mazza.

Things that I like to babble about:

• Modal Type Theories mostly Real Cohesive Type Theory
• Formal Category Theory
• Higher Category Theory
• Foundations of Mathematics
• Automata Theory
• The Science of Logic
• Unreasonably Complicated Coffee making processes

Stuff I did:

I did an M1 project with Daniela Petrisan about recovering residual finite state automata (RFSA) via the functorial approach to automata, the ideas are what inspired the current internship.

I finished my M2 internship with Jonas Frey on lax-idempotent monads. The idea here was to understand what it means to be a generator with respect to a cocompletion, for example finitely presented objects come together with the Ind-completion. And use this to recover results such as Gabriel-Ulmer Duality and Priestley Duality.

I am currently co-organizing a seminar for master’s students on Higher Category Theory with Dominik Schrimpel. This year we included some talks on Homotopy Type Theory and Simplicial Type Theory! The program can be found here.

Talks

Education

• 2020 - 2023: Bachelor in Computer Science at the University of Luxembourg
• 2023 - 2024: M1 MPRI at Université Paris Cité
• 2024 - 2025: M2 MPRI at Université Paris Cité
• 2025 - Now : PhD in Theoretical Computer Science at Sorbonne Paris Nord

Out of Context Hegel

The quantum changes and becomes another quantum. – G.W.F Hegel