Antonio Casares Santos, antiguo alumno de la Universidad de Valladolid, Premio Extraordinario de Fin de Grado, se graduó del Grado en Matemáticas en 2019 con un TFG titulado «Valoraciones, cuerpos de Hardy y estructuras o-minimales» y dirigido por Fernando Sanz.
Durante el curso 2019-2020 ha sido becado por la Fondation Sciences Mathématiques de Paris (FSMP), programa PGSM, para la realización del Máster Logique Mathématique et Fondements de l’Informatique (LMFI) en la Universidad de París, donde desarrolla, durante una estancia de investigación, su Trabajo de Fin de Máster “Optimal Transformation of Müller conditions” bajo la supervisión de T. Colcombet y N. Fijalkow.
El próximo curso académico empieza su doctorado titulado «Algoritmos para la síntesis de controladores» en el instituto LaBRI de la Universidad de Burdeos, bajo la supervisión de T. Colcombet, N. Fijalkow e I. Walukiewicz.
Tenemos muchas ganas de saber lo que nos va a contar esta joven promesa de las Matemáticas sobre si es posible programar únicamente utilizando bucles for. ¡No te puedes perder su charla! ¡Busca información sobre ella aquí!
