En | Fr | Es

Antonio Casares Santos

I am a postdoctoral researcher in Theoretical Computer Science at the University of Warsaw (Poland), working in the group of Mikołaj Bojańczyk.

My research interests lie in the intersection of logic, formal languages and games on graphs. More speifically, my research focuses on ω-automata, transducers and algorithms for solving infinite duration games.

I received my doctoral degree in 2023 from the University of Bordeaux, under the supervision of Thomas Colcombet, Nathanaël Fijalkow and Igor Walukiewicz. Before that, I obtained my master's degree in Mathematical Logic and Foundations of Computer Science at Université de Paris-Cité (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.




  • Fast Value Iteration for Energy Games (with Pierre Ohlmann), 2021 - pdf - bibtex.


    Some slides and other resources


    2023 - 2024 (University of Warsaw)

    2022 - 2023 (ENSEIRB-MATMECA - Bordeaux INP)

    2021 - 2022 (Université de Bordeaux)

    2020 - 2021 (Université de Bordeaux)



    antoniocasares [at] mimuw [dot] edu [dot] pl


    Office 3380
    MIMUW, Banacha 2, 02-097 Warsaw (Poland)