Antonio Casares
Graduate Student, Université de Bordeaux
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.