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

You will find more information in my CV.


I co-organize the Sémi-doc (PhD students seminar). Do not hesitate to contact me for any question or if you want to give a talk!

Theoretical Computer Scientists for Future


A full list of my publications can also be found in my dblp page.



  • Characterising Memory in Infinite Games (with Pierre Ohlmann), 2022 - pdf - bibtex.
  • On the ESL Algorithm 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)