Investigadores de institución chilena ganan el mayor reconocimiento mundial en lógica y computación
Tiempo de lectura: 2 minutos Juan Reutter, Domagoj Vrgoč y Pablo Barceló del Instituto Milenio Fundamentos de los Datos (IMFD), son parte de los ganadores del Premio Alonzo Church 2026, por sentar las bases teóricas de dos lenguajes de consulta de bases de datos hoy usados por firmas como Amazon, Google, Oracle y SAP.
La Asociación Europea de Informática Teórica (EATCS) distinguió a tres investigadores del Instituto Milenio Fundamentos de los Datos (IMFD) con el Premio Alonzo Church 2026 durante el ICALP 2026, la conferencia internacional que reúne anualmente a los principales referentes en teoría de la computación de todo el mundo.
Juan Reutter, Domagoj Vrgoč y Pablo Barceló integran el grupo de científicos —junto con el chileno Miguel Romero y los investigadores extranjeros Leonid Libkin, Wim Martens y Moshe Vardi— que sentó las bases de SQL/PGQ y GQL. Gigantes tecnológicos como Oracle, Amazon, Google y SAP usan diariamente estos dos lenguajes de consulta de estándar internacional.
Valor de su desarrollo
Hoy, cada vez que buscas una ruta en Google Maps, ves sugerencias de amistad en una red social o recibes una recomendación en Netflix, hay una base de datos conformada por grafos —una red que organiza información a partir de la conexión de nodos y enlaces— para entregar la recomendación o solicitud que un usuario solicita.
Los grafos de propiedades son una forma específica de este modelo, y las bases teóricas, o lenguajes, para trabajar en ellos, es lo que los investigadores premiados publicaron en tres artículos entre 2014 y 2017, donde el liderazgo desde Chile fue clave.
“Estos aportes ocurrieron varios años antes de que se crearan los estándares”, explica el director del IMFD, Juan Reutter. “La gente de los grupos a cargo de SQL/PGQ y GQL, que son grupos de gente de industria y academia, usaron nuestra investigación para entender qué cosas se podían hacer de forma eficiente en un computador, qué cosas no, y, al no haber referencias previas, tomaron nuestras ideas como referencia y punto de partida”.
¿Qué es el Premio Alonzo Church?
El Premio Alonzo Church es un reconocimiento internacional que distingue artículos publicados en los últimos 25 años que hayan demostrado profundidad intelectual, novedad e impacto en las áreas de lógica y computación.
Las instituciones ACM SIGLOG, EATCS y EACSL crearon este reconocimiento en 2015 y le asignaron el nombre del matemático estadounidense Alonzo Church (1903–1995), uno de los fundadores de la computación teórica y profesor de Alan Turing.
Anualmente, estas tres prestigiosas instituciones de la lógica matemática y las ciencias de la computación premian a investigadores destacados.
