Welcome to my research page!
I'm PhD student at IRIF, in the PPS team (Université Paris 7), and at LSV (ENS Cachan). My PhD advisors are David Baelde and Alexis Saurin.
- Ludics, Game semantics
- Logics with fixed points, modal mu-calculus
- Automata theory
- Linear logic
email@example.com Office 3026, Batiment Sophie Germain