Je suis un chercheur postdoctoral à RPTU, University Kaiserslautern-Landau (Allemagne), dans le groupe de Anthony Lin. 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 à la théorie des modèles finis.
My thesis has been awarded the "Science and technology" prize from the University of Bordeaux! (link)
Ma thèse a été attribuée le prix "Sciences et technologies" de l'Université de Bordeaux! (lien)
Livres
Chapitre Positionality and Memory dans le livre Games on Graphs: From Logic and Automata to Algorithms (avec Pierre Ohlmann et Pierre Vandenhove) - arxiv link - bibtex of chapter.
Fast value iteration: A uniform approach to efficient algorithms for energy games (with Michaël Cadilhac and Pierre Ohlmann). In: TACAS 2025 - pdf.
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 - 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 (2024) - 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
Layered automata: A canonical model for
automata over infinite words (with Christof Löding and Igor Walukiewicz). Submitted to: LICS 2026 - pdf.
History-Deterministic Büchi Automata are Succinct (with Aditya Prakash and K.S Thejaswini). Submitted to: LICS 2026 - pdf.
Automata for MSO over Infinite Trees with Quantification over
Borel Sets of Branches (with Mikołaj Bojańczyk, Sven Manthe and Paweł Parys). Submitted to: LICS 2026.
Infinite lexicographic products of positional objectives (with Pierre Ohlmann, Michał Skrzypczak and Igor Walukiewicz). Submitted to: LMCS - pdf.
A positional Π30-complete objective (with Pierre Ohlmann and Pierre Vandenhove), 2024 - pdf - bibtex.
Exposés
Quelques slides et ressources
Layered Automata: A Canonical Model for ω-Regular Languages - pdf - animated slides.
