Moien! I am a luxembourgish Master’s student currently based in Paris. I work on Category Theory and Synthetic Mathematics.

Things that I like to babble about:

• Formal Category Theory (2-categories)
• (Categorical) Homotopy Theory i.e. Model categories & Higher Categories
• Type Theories and their semantics
• Foundations of mathematics
• Automata Theory
• 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. And use this to recover certain dualities from categorical logic and Stone duality. And I am giving another talk on this at the synthetic mathematics conference at the CIRM.

What I do right now

I will start my PhD in October at LIPN with Jonas Frey, Morgan Rogers and Damiano Mazza on connecting Differential Cohesion and Differential Linear Logic.

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