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:

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.

Publications in peer-reviewed journals and conference proceedings

Preprints

Talks

Some slides and other resources

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.114 (3rd floor in CeNT building)
MIMUW, Banacha 2, 02-097 Warsaw (Poland)