En | Fr | Es

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 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).

You will find more information in my CV.

Theoretical Computer Scientists for Future

PhD Thesis

I defended my PhD thesis entitled Structural properties of automata over infinite words and memory for games on 23 November 2023. Below you can find:


A full list of my publications can also be found in my dblp and Google Scholar sites.



  • From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History-)Determinism (with Thomas Colcombet, Nathanaël Fijalkow and Karoliina Lehtinen), 2023 - pdf - bibtex.
  • Fast Value Iteration for Energy Games (with Pierre Ohlmann), 2021 - pdf - bibtex.


    Some slides and other resources


    2022 - 2023 (ENSEIRB-MATMECA - Bordeaux INP)

    2021 - 2022 (Université de Bordeaux)

    2020 - 2021 (Université de Bordeaux)



    antonio [dot] casares-santos [at] labri [dot] fr


    Office 257, LaBRI
    351, Cours de la Libération, building A30
    F-33405 Talence Cedex (France)