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.
I am currently taking part in the Theoretical Foundations of Computer Systems by the Simons Institute.
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: English version, French version.
A full list of my publications can also be found in my dblp page.
antonio [dot] casares-santos [at] labri [dot] fr
| Office 257, LaBRI
351, Cours de la Libération, building A30
F-33405 Talence Cedex (France)