Antonio Casares is a PhD student at Université de Bordeaux, under the supervision of Thomas Colcombet (IRIF), Nathanaël Fijalkow (LaBRI) and Igor Walukiewicz (LaBRI). His research interests include automata theory, games on graphs and its relation with logic.
He obtained his Bachelor's degree in mathematics from the Universidad de Valladolid (Spain) in 2019, and his Master's degree in Mathematical Logic and Foundations of Computer Science from the Université de Paris (France) in 2020.
- Theoretical Foundations of Computer Systems, Spring 2021. Visiting Graduate Student.