Antonio Casares Santos
I am a PhD student in Theoretical Computer Science at
LaBRI (Université de Bordeaux, France) under the supervision of Thomas Colcombet, Nathanaël Fijalkow and Igor Walukiewicz.
My research interests are related to the formal verification and synthesis of reactive systems. In particular, I am currently studying algorithms for solving infinite duration games as well as automata over infinite words.
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).
During the Spring semester of 2021, I have participated in the
Theoretical Foundations of Computer Systems program by the Simons Institute.
You will find more information in
A full list of my publications can also be found in my
On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions - full version - bibtex.
Optimal Transformations of Games and Automata using Muller Conditions (with Thomas Colcombet and Nathanaël Fijalkow). In: ICALP 2021 - pdf - full version - bibtex.
Some past events and slides
Sept 2021 Talk at Highlights 2021 (online) The Arena-Independent Memory Requirements of Muller Conditions - slides - poster.
July 2021 Talk at Orna Kupferman's group at the Hebrew University of Jerusalem (online) On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions - slides.
July 2021 Talk at the seminar of the automata group, IRIF Optimal Transformations of Games and Automata using Muller Conditions - slides.
June 2021 Talk for the ANR Delta Meeting at IRIF On the minimisation of transition-based Rabin automata - slides.
June 2021 Talk at the GT ALGA Annual Meeting (online)
Optimal Transformations of Muller Conditions - slides.
Feb 2021 Talk at the student seminar of the Toulouse Mathematics Institute (online) about
The synthesis problem: from logic to games.
Dec 2020 Talk at the seminar of the team Formal Methods, LaBRI (online) about
Optimal Transformations of Muller Conditions.
Nov 2020 Presented at the Spotlight on Games Workshop 2020 (online) the problem
Memory requirements for generalised reachability
games - poster.
Jul 2020 Talk at Encuentro Nacional de Estudiantes de Matemáticas 2020 (online)
¿Podemos programar únicamente con bucles
- for? slides - video youtube.
antonio [dot] casares-santos [at] labri [dot] fr
Office 257, LaBRI
351, Cours de la Libération, building A30
F-33405 Talence Cedex (France)