|

Hito para la ciencia latinoamericana: Tres investigadores del IMFD ganan el Premio Alonzo Church

Juan Reutter, Domagoj Vrgoč y Pablo Barceló son parte de los siete ganadores del Premio Alonzo Church 2026, uno de los reconocimientos más prestigiosos en lógica y computación a nivel mundial por investigaciones que sentaron las bases de nuevos estándares internacionales en consulta de datos. 

Tres investigadores del Instituto Milenio Fundamentos de los Datos (IMFD) fueron distinguidos con el Premio Alonzo Church 2026 por contribuciones sobresalientes en lógica y computación:  Juan Reutter, Director IMFD, académico del Departamento de Ciencia de la Computación y del Instituto de Ingeniería Matemática y Computacional UC (IMC UC); Domagoj Vrgoč, investigador IMFD y académico del IMC UC; y Pablo Barceló, Director de Inteligencia Artificial en la Vicerrectoría de Inteligencia Digital UC, también investigador y ex Director IMFD, e investigador del Centro Nacional De Inteligencia Artificial (CENIA).

Los tres forman parte de un grupo de siete investigadores de distintas instituciones del mundo reconocidos por haber sentado las bases teóricas de los lenguajes modernos para consultar grafos de propiedades (property graphs), hoy incorporados en estándares internacionales por firmas como Oracle, Amazon, Google y SAP.

¿Por qué ganaron?

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 de grafos —un sistema que organiza información a través de la conexión de nodos y enlaces— trabajando detrás. Los grafos de propiedades son una forma específica de este modelo, y las bases teóricas para consultarlos y analizarlos, es precisamente lo que los investigadores premiados publicaron en tres artículos entre 2014 y 2017.

Juan ReutterJuan Reutter

Los papers resolvieron problemas fundamentales como: cómo consultar al mismo tiempo la estructura del grafo y los datos que contiene, cómo buscar rutas complejas de cualquier longitud, y cómo representar los resultados de esas búsquedas de manera compacta y eficiente.

Lo más relevante, sin embargo, es que lo hicieron antes de que existiera una necesidad industrial. Así, cuando la industria necesitó crear estándares internacionales para los lenguajes que hoy conocemos como SQL/PGQ y GQL, los comités técnicos encontraron las referencias en los artículos premiados.

Domagoj Vrgoc
Domagoj Vrgoč

“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 de cómo se vería un lenguaje para consultar grafos, tomaron nuestras ideas como referencia y punto de partida”.

Los tres trabajos reconocidos:

1. Querying Graphs with Data (Leonid Libkin, Wim Martens, Domagoj Vrgoč; Journal of the ACM, 2016)
2. Regular Queries on Graph Databases (Juan Reutter, Miguel Romero, Moshe Vardi; Theory of Computing Systems, 2017)
3. Querying Regular Graph Patterns (Pablo Barceló, Leonid Libkin, Juan Reutter; Journal of the ACM, 2014)

Un hito para la ciencia desde Chile

Para el IMFD, este reconocimiento tiene un significado que va más allá de la distinción individual: «Es un orgullo. Nunca antes un grupo de Latinoamérica había ganado este premio”, agrega Reutter. «Internacionalmente, el IMFD ya tiene un nombre ganado como centro de excelencia en investigación en datos y sobre todo en bases de datos de grafos, pero este premio nos puede abrir puertas en espacios que van más allá de esa especialización. Lo mismo para Chile: muestra que podemos hacer investigación de frontera y que esa investigación puede impactar a la industria. Hoy el IMFD es desarrollador de MillenniumDB, una de las bases de datos de grafos que forman parte del ecosistema industrial, y esto fue posible gracias a todo lo que fuimos construyendo con nuestra investigación».

Pablo Barceló
Pablo Barceló

¿Qué es el Premio Alonzo Church?

El Premio Alonzo Church es un prestigioso reconocimiento internacional que se entrega a un/a autor/a, o a un grupo de autores —como fue el caso de este 2026—,  cuyos artículos publicados en los últimos 25 años hayan demostrado profundidad intelectual, novedad e impacto en las áreas de lógica y computación.

Creado en 2015, nace en honor a Alonzo Church (1903–1995), matemático estadounidense considerado uno de los fundadores de la computación teórica y profesor de Alan Turing (1912-1954), quien sentó las bases de la informática moderna con su célebre máquina de Turing. 

El premio entrega un certificado y un reconocimiento por USD 1,500 a repartir entre los ganadores, junto con la invitación a presentar sus investigaciones en el marco de una de las conferencias internacionales de las entidades organizadoras: ACM Special Interest Group on Logic and Computation (SIGLOG), European Association for Theoretical Computer Science (EATCS) y European Association for Computer Science Logic (EACSL), en julio de este año.

Fuente: Eatcs.org.