Antonio Casares Santos 
Soy un estudiante de doctorado en informática teórica en el LaBRI (Universidad de Burdeos, Francia), bajo la supervisión de Thomas Colcombet, Nathanaël Fijalkow e Igor Walukiewicz.
Mi investigación se centra en temas relacionados con la lógica y la teoría de lenguajes formales. Más en concreto, estudio propiedades de lenguajes definidos por ω-autómatas, así como algoritmos para la resolución de juegos de duración infinita sobre grafos.
Previamente, obtuve el grado en matemáticas por la Universidad de Valladolid (España) y cursé el máster Lógica matemática y fundamentos de la informática en la Universidad de París (Francia).
Puedes consultar mi CV para más información.
Tesis doctoral
He defendido mi tesis titulada Structural properties of automata over infinite words and memory for games el 23 de Noviembre de 2023. En los siguientes enlaces se encuentran:
Investigación
La lista de mis publicaciones también se puede encontrar en mis páginas de dblp y Google Scholar.
Conferencias
- Characterising Memory in Infinite Games (with Pierre Ohlmann). In: ICALP 2023 - full version - short version - bibtex.
- Half-Positional Objectives Recognized by Deterministic Büchi Automata (with Patricia Bouyer, Mickael Randour and Pierre Vandenhove). In: CONCUR 2022 - short version - 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 - 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
From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History-)Determinism (with Thomas Colcombet, Nathanaël Fijalkow and Karoliina Lehtinen), 2023 - pdf - bibtex.
On the ESL Algorithm for Energy Games (with Pierre Ohlmann), 2021 - pdf - bibtex.
Charlas
Algunas diapositivas y pósteres
- Characterization of Half-Positionality for ω-Regular Languages - slides - poster.
- 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.
¿Podemos programar únicamente con bucles
for? - slides - video youtube.
Docencia
2022 - 2023 (ENSEIRB-MATMECA - Bordeaux INP)
2021 - 2022 (Université de Bordeaux)
2020 - 2021 (Université de Bordeaux)
Contacto
E-mail
|
antonio [punto] casares-santos [arroba] labri [punto] fr |
Dirección
|
Despacho 257, LaBRI
351, Cours de la Libération, edificio A30
F-33405 Talence Cedex (France) |