Je suis un chercheur postdoctoral à l'Université de Varsovie (Pologne), dans le groupe de recherche de Mikołaj Bojańczyk. Mes intérêts de recherche sont liés à la logique et aux langages formels. Plus précisément, je m’intéresse aux jeux sur les graphes, à la théorie des automates sur des mots infinis et aux transducteurs.
J'ai soutenu ma thèse intitulée Propriétés structurelles des automates sur les mots infinis et mémoire pour les jeux le 23 novembre 2023. Ci-dessous, vous trouverez:
Slides (À ouvrir dans un navigateur. L'affichage peut être légèrement différent sur différents navigateurs/ordinateurs.)
Ma thèse a été attribuée le prix "Sciences et technologies" de l'Université de Bordeaux! (lien)
Recherche
La liste de mes publications se trouve aussi sur mon site dblp et Google Scholar.
Publications dans des journaux et conférences scientifiques
From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History) Determinism (with Thomas Colcombet, Nathanaël Fijalkow and Karoliina Lehtinen). In: TheoretiCS 2024 - pdf - bibtex.
On the Minimisation of Deterministic and History-Deterministic Generalised (co)Büchi Automata (with Olivier Idir, Denis Kuperberg, Corto Mascle and Aditya Prakash). In: CSL 2025 (to appear) - pdf .
The Complexity of Simplifying ω-Automata through the Alternating Cycle Decomposition (with Corto Mascle). In: MFCS 2024 - short version - full version- bibtex.
Simple and Tight Complexity Lower Bounds for Solving Rabin Games (with Marcin Pilipczuk, Michał Pilipczuk, Uéverton S. Souza, K. S. Thejaswini). In: SOSA 2024 - pdf - bibtex.
Half-Positional Objectives Recognized by Deterministic Büchi Automata (with Patricia Bouyer, Mickael Randour and Pierre Vandenhove). In: CONCUR 2022 & IJCAI 2023 & LMCS - journal version - conf version - extended abstract - bibtex.
On the Size of Good-For-Games Rabin Automata and Its Link with the Memory in Muller Games (with Thomas Colcombet and Karoliina Lehtinen). In: ICALP 2022 - pdf - bibtex.
Practical Applications of the Alternating Cycle Decomposition (with Alexandre Duret-Lutz, Klara J. Meyer, Florian Renkin and Salomon Sickert). In: TACAS 2022 - full version - bibtex.
On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions. In: CSL 2022 - short version - full version - bibtex. Best Student Paper Award.
Optimal Transformations of Games and Automata using Muller Conditions (with Thomas Colcombet and Nathanaël Fijalkow). In: ICALP 2021 - conf version - journal version - bibtex.
Preprints
A positional Π30-complete objective (with Pierre Ohlmann and Pierre Vandenhove), 2024 - pdf - bibtex.
Fast Value Iteration for Energy Games (with Pierre Ohlmann), 2021 - pdf - bibtex.
Exposés
Quelques slides et ressources
A Uniform Framework for Energy Game Solvers - slides.
State-Based vs Transition-Based Acceptance in ω-Automata - slides.