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

During the Spring semester of 2021, I have participated in the Theoretical Foundations of Computer Systems program by the Simons Institute.

You will find more information in my CV.

Theoretical Computer Scientists for Future


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


Some past events and slides




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


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