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 specifically, 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

I gathered some links with advice about different aspects of academic life here.

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:

My thesis has been awarded the "Science and technology" prize from the University of Bordeaux! (link)

Research

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

Book chapters

Surveys

Publications in peer-reviewed journals and conference proceedings

Preprints

  • A positional Π30-complete objective (with Pierre Ohlmann and Pierre Vandenhove), 2024 - pdf - bibtex.

    Talks

    Some slides and other resources

    Current students

    Teaching

    2023 - 2024 (University of Warsaw)

    2022 - 2023 (ENSEIRB-MATMECA - Bordeaux INP)

    2021 - 2022 (Université de Bordeaux)

    2020 - 2021 (Université de Bordeaux)

    Contact

    E-mail

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

    Location

    Office 3.106 (3rd floor in CeNT building)
    MIMUW, Banacha 2, 02-097 Warsaw (Poland)