Mes intérêts de recherche sont liés à la vérification formelle et à la synthèse de systèmes réactives. Plus précisément, je m’intéresse aux jeux sur les graphes et à la théorie des automates sur des mots infinis.
Précédemment, j'ai obtenu la licence de Mathématiques par l'Université de Valladolid (Espagne) et le master Logique Mathèmatique et Fondements de l'Informatique par l'Université de Paris (France).
Je suis co-organisateur du séminaire de l'équipe Méthodes et Modèles Formelles, ainsi que du Sémi-doc (séminaire pour les doctorant.e.s). N'hésitez pas à me contacter pour tout renseignement ou si vous voulez proposer un exposé pour le Sémi-doc !
Recherche
La liste de mes publications se trouve aussi sur mon site dblp.
Conférences
Half-Positional Objectives Recognized by Deterministic Büchi Automata (with Patricia Bouyer, Mickael Randour and Pierre Vandenhove). Submitted to: CONCUR 2022 - 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 - video.
Preprints
On the ESL algorithm for energy games (with Pierre Ohlmann), 2021 - pdf - bibtex.
Exposés
Prochains exposés
29 Juin 2022 Exposé pour HIGHLIGHTS 2022 (Paris, France)
On the Size of Good-for-games Rabin Automata and its Link with the Memory in Muller Games.
6 Juillet 2022 Exposé pour ICALP 2022 (Paris, France)
On the Size of Good-for-games Rabin Automata and its Link with the Memory in Muller Games.
Quelques exposés et slides
Mai 2022 Exposé pour les journées ANR Delta au CIRM (Marseille)
Half-Positional Objectives Recognized by Deterministic Büchi Automata - slides.
Dec 2021 Exposé pour le séminaire de l'équipe MOVE (LIS, Marseille)
On a correspondence between memory structures for Muller games and Rabin automata.- slides.
Nov 2021 Exposé pour le séminaire de l'équipe LX (LaBRI, Bordeaux)
On a correspondence between memory structures for Muller games and Rabin automata - slides.
Sept 2021 Exposé pour Highlights 2021 (online)
The Arena-Independent Memory Requirements of Muller Conditions - slides - poster.
Juil 2021 Exposé pour le groupe de Orna Kupferman, Hebrew University of Jerusalem (online)
On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions - slides.
Juil 2021 Exposé au séminaire du groupe automates, IRIF
Optimal Transformations of Games and Automata using Muller Conditions - slides.
Juin 2021 Exposé pour les journées ANR Delta, IRIF
On the minimisation of transition-based Rabin automata - slides.
Juin 2021 Journées annuelles GT ALGA (online)
Optimal Transformations of Muller Conditions - slides.
Feb 2021 Exposé au séminaire Étudiant de l'Institut de Mathématiques de Toulouse (online)
The synthesis problem: from logic to games.
Dec 2020 Exposé au séminaire de l'équipe Méthodes Formelles, LaBRI (online)
Optimal Transformations of Muller Conditions.
Nov 2020 Présentation à Spotlight on Games Workshop 2020 (online) du problème
Memory requirements for generalised reachability
games - poster.
Juil 2020 Exposé pour le Encuentro Nacional de Estudiantes de Matemáticas 2020 (online)