My research interests lie in the intersection of logic, formal languages and games on graphs. In particular, I am currently studying properties of ω-automata (minimisation, transformations, positionality of ω-regular languages...), as well as algorithms for solving infinite duration games.
Before that, I studied mathematics at Universidad de Valladolid (Spain), and obtained my M. Sc. in Mathematical Logic and Foundations of Computer Science at Université de Paris (France).
A full list of my publications can also be found in my dblp and Google Scholar sites.
Conferences
Characterising Memory in Infinite Games (with Pierre Ohlmann). To appear in: ICALP 2023 - full version - bibtex.
Half-Positional Objectives Recognized by Deterministic Büchi Automata (with Patricia Bouyer, Mickael Randour and Pierre Vandenhove). In: CONCUR 2022 - pdf - full version - 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 - pdf - 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 - pdf - full version - bibtex.
Preprints
On the ESL Algorithm for Energy Games (with Pierre Ohlmann), 2021 - pdf - bibtex.
Talks
Some slides and other resources
Half-Positional Objectives Recognized by Deterministic Büchi Automata - slides.
On a Correspondence Between Memory Structures for Muller Games and Rabin Automata.- slides.
Good-For-Games Rabin Automata and the Memory Requirements of Muller Conditions.- slides- poster.
Minimisation of Transition-Based Rabin Automata - slides - poster.
Optimal Transformations of Games and Automata using Muller Conditions - slides.
Open Problem: Memory Requirements for Generalised Reachability
games - poster.