Tres investigadores chilenos ganan el premio más importante de lógica y computación del mundo
Cada vez que Google Maps calcula una ruta o Netflix te recomienda algo, hay matemática detrás que alguien tuvo que inventar primero. Un equipo chileno acaba de recibir el mayor reconocimiento mundial por sentar esas bases.
El mayor reconocimiento mundial en su área
Juan Reutter, Domagoj Vrgoč y Pablo Barceló, investigadores del Instituto Milenio Fundamentos de los Datos (IMFD), recibieron el Alonzo Church Award 2026, el mayor reconocimiento mundial en lógica y computación, entregado por la European Association for Theoretical Computer Science (EATCS) durante el congreso ICALP 2026.
El lenguaje detrás de las bases de datos que usa medio mundo
El premio distingue artículos publicados en los últimos 25 años que demostraron profundidad intelectual, originalidad e impacto en lógica y computación. Reconoce el trabajo del equipo chileno —realizado junto al también investigador chileno Miguel Romero y a Leonid Libkin, Wim Martens y Moshe Vardi— que sentó, entre 2014 y 2017, las bases teóricas de SQL/PGQ y GQL: los lenguajes de consulta para bases de datos gráficas que hoy usan empresas como Amazon, Google, Oracle y SAP.
Estos aportes ocurrieron varios años antes de que se crearan los estándares. Los grupos de estandarización internacional usaron nuestra investigación como referencia.
— Juan Reutter, director del IMFD
La matemática detrás de lo cotidiano
La investigación estableció qué tipo de consultas pueden calcularse de forma eficienteen bases de datos gráficas, un problema fundamental que hoy sostiene aplicaciones cotidianas: las rutas de Google Maps, las recomendaciones de redes sociales y los catálogos de plataformas de streaming dependen, en el fondo, de este tipo de teoría.
- Juan Reutter, Domagoj Vrgoč y Pablo Barceló (IMFD) ganaron el Alonzo Church Award 2026 de la EATCS.
- El premio reconoce las bases teóricas de SQL/PGQ y GQL, publicadas entre 2014 y 2017.
- Esos estándares de bases de datos gráficas hoy los usan Amazon, Google, Oracle y SAP.
- La investigación se adelantó a los estándares internacionales: los organismos de estandarización la usaron como referencia directa.
- Cooperativa Ciencia. Investigadores de institución chilena ganan el mayor reconocimiento mundial en lógica y computación (13 de julio de 2026)
Ver fuente →