Welcome to my webpage

PhD student at IRIF
Automata, structures and verification group
Supervised by Olivier Serre and Nathanaël Fijalkow


I studied theoretical computer science and mathematics at École Normale Supérieure de Lyon. Since september 2018, I have been working on my PhD at IRIF in Paris. I am glad to have Olivier Serre and Nathanaël Fijalkow as (awesome) supervisers. For more details, please see my resume (last updated Jan 2021).



I have mostly been working on efficiently solving (in theory) parity and mean payoff games, on problems related to stochastic transition systems (such as Markov Decision Processes or Probabilistic Automata), and have also done some work in algebraic circuit complexity theory, and dynamical systems for verification. My interests range over most of theoretical computer science, and related mathematical theories.


Automata Seminar

I am also on of the organizers of the automata seminar at IRIF, so feel free to write to me about this. To subscribe to our mailing list, please follow this link and make a request.

Here and there (updated May 2020)

Some (recent) slides

These are to be openned in a browser


  • 2020-2021, Teacher assistant in :
    • Principles of Computing Systems - Université de Paris
    • Introduction to Programming in Java - Université de Paris
    • Professionalizing project - Université de Paris
  • 2019-2020, Teacher assistant in :
    • Foundations of Automata Theory - Université Paris-Diderot
    • Introduction to Programming in Python - Université Paris-Diderot
  • 2018-2019, Teacher assistant in:
    • Introduction to Object-Oriented Programing - Université Paris-Diderot
    • Introduction to Programming in Python - Université Paris-Diderot
Location E-mail
IRIF, bureau 3035
Bâtiment Sophie Germain, 8 Place Aurélie Nemours
75013 Paris (FRANCE)