Antonio Casares

Graduate Student, Université de Bordeaux
Visiting Graduate Student
Dates of Visit: Jan. 12Apr. 30, 2021

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.

Program Visits