Los Premios Vicent Caselles RSME-Fundación BBVA reconocen a dos graduados en Matemáticas por la UVa
Los Premios Vicent Caselles RSME-Fundación BBVA han reconocido en su XII edición la excelencia de los hallazgos matemáticos logrados por seis jóvenes científicos españoles, entre ellos Antonio Casares Santos, graduado en Matemáticas por la Universidad de Valladolid. Dentro de esta convocatoria, la Real Sociedad Matemática Española (RSME) ha anunciado también la concesión del Premio José Luis Rubio de Francia a Alberto González Sanz, quien obtuvo sus títulos de Grado y Máster en Matemáticas en la UVa y su doctorado en cotutela entre la Universidad de Valladolid y la Université Paul Sabatier de Toulouse.
El objetivo de estos galardones, otorgados anualmente desde 2015 por la Real Sociedad Matemática Española (RSME) y la Fundación BBVA, es fomentar la investigación en matemáticas a través del estímulo a los jóvenes científicos de esta disciplina. Bautizados en homenaje a uno de los matemáticos españoles de mayor relevancia internacional en las últimas décadas, profesor en las universidades de Valencia, Islas Baleares y Pompeu Fabra, los Premios Vicent Caselles reconocen la creatividad, la originalidad y la excelencia en matemáticas en los primeros años de trayectoria investigadora. Las investigaciones galardonadas han aportado contribuciones significativas al avance del conocimiento básico que pueden sentar las bases de aplicaciones futuras en múltiples campos de la ciencia y la tecnología como la astrofísica, la biología, la economía, la inteligencia artificial, la ciencia de datos y la criptografía.
Cada uno de los seis galardones está dotado con 10.000 euros, todos ellos en la modalidad de Investigación Matemática, y se dirigen a jóvenes matemáticos menores de 30 años que posean nacionalidad española, o de otra nacionalidad que hayan realizado su trabajo de investigación en una universidad o centro científico de España.
Uno de los seis jóvenes premiados es Antonio Casares Santos, investigador posdoctoral en la Universidad de Kaiserslautern-Landau (Alemania). Tras graduase en Matemáticas por la Universidad de Valladolid en 2019 y obtener el Máster en Lógica Matemática en la Université Paris-Cité en 2020, se doctoró en 2023 por la Universidad de Burdeos. Los problemas que aborda en su investigación tienen su origen en la búsqueda de algoritmos para la demostración automática de teoremas matemáticos, expresados mediante fórmulas en distintos tipos de lógicas.
“En algunos casos”, explica, “un intento de demostración puede abstraerse como un juego entre dos jugadores antagonistas. Un método para la obtención de algoritmos de demostración automática consiste en demostrar que, en estos juegos, basta utilizar estrategias simples, dadas por una lista de instrucciones sencillas”. Precisamente, uno de los temas centrales de su trabajo es el estudio de la complejidad de estrategias en distintos tipos de juegos. Los resultados de esta investigación, resalta Casares, no solo contribuyen a avances teóricos, sino que pueden tener aplicaciones muy relevantes en el campo de la informática: “La lógica no sirve únicamente para escribir teoremas matemáticos. Estos formalismos lógicos se usan hoy en día para describir las especificaciones de programas informáticos. En este contexto, los métodos que estudio permiten verificar automáticamente que un programa informático funciona correctamente”.
Premio José Luis Rubio de Francia
Por otra parte, la Fundación BBVA impulsará durante los próximos tres años la investigación del matemático Alberto González Sanz, galardonado con el Premio José Luis Rubio de Francia que concede la RSME. Alberto González logró sus títulos de Grado y Máster en Matemáticas en la UVa, y su doctorado en cotutela entre la Universidad de Valladolid y la Université Paul Sabatier de Toulouse. En la actualidad es profesor asistente del Departamento de Estadística de la Universidad de Columbia (Estados Unidos) y también fue galardonado en 2024 con uno de los premios Vicent Caselles. En esta ocasión recibe este nuevo reconocimiento por sus contribuciones sobresalientes al transporte óptimo, la estadística, el aprendizaje automático y el análisis de datos funcionales.
A lo largo de ese periodo, la Fundación BBVA apoyará con una start-up grant de 35.000 euros su investigación en la intersección entre la probabilidad, la estadística y el transporte óptimo, un campo que combina el desarrollo de nuevas herramientas matemáticas con aplicaciones de gran relevancia para la ciencia de datos y la inteligencia artificial.
El jurado ha destacado “la excepcional amplitud, profundidad e interdisciplinariedad de su investigación, que ha dado lugar a resultados de gran impacto”. Asimismo, ha subrayado su capacidad para tender puentes entre las matemáticas puras y las aplicadas, trasladando ideas teóricas de gran sofisticación a metodologías con un impacto significativo en la ciencia de datos moderna.
La trayectoria del premiado, desarrollada en una etapa aún temprana de su carrera, y el alto grado de internacionalización de la misma “le sitúan entre los investigadores jóvenes más destacados de este ámbito y refleja un extraordinario potencial para ejercer un liderazgo científico en los próximos años”, concluye el jurado.
“El objetivo central de mi investigación”, explica González Sanz, “es desarrollar nuevas herramientas matemáticas que permitan hacer inferencia a partir de datos complejos, ruidosos, contaminados o de alta dimensión. Estas ideas permiten construir métodos más robustos para comparar distribuciones de probabilidad, diseñar contrastes estadísticos, describir estructuras ocultas en los datos, realizar predicciones y cuantificar la incertidumbre con garantías estadísticas fiables”.
El Instituto de Matemáticas de la UVa, IMUVa, quiere aprovechar la visita tanto de Antonio Casares como de Alberto González a Valladolid la próxima semana y ha organizado dos sesiones especiales del "Ateneo IMUVa" los días 14 y 16 de julio.