Académicos UC ganan prestigioso premio internacional por su contribución sobresaliente a la lógica y la computación

En 2015, la Asociación Europea de Lógica en Ciencias de la Computación (EACSL), la Asociación Europea de Ciencias de la Computación Teórica (EATCS), la Sociedad Kurt Goedel (KGS) y el Grupo de Interés Especial en Lógica y Computación de la Association for Computing Machinery (SIGLOG) crearon el “Premio Alonzo Church a las Contribuciones Sobresalientes a la Lógica y la Computación”. El galardón, nombrado en honor al matemático y lógico estadounidense creador de la base de la computación teórica, se otorga a contribuciones destacadas representadas por un paper o un pequeño grupo de artículos publicados durante los últimos 25 años.

La edición 2026 de esta distinción reconoció a un grupo de siete investigadores que incluye a tres académicos del Instituto de Ingeniería Matemática y Computacional (IMC) de la Pontificia Universidad Católica de Chile: Pablo Barceló (IMC/Centro Nacional de Inteligencia Artificial/Instituto Milenio Fundamentos de los Datos/Vicerrectoría de Inteligencia Digital UC), Juan Reutter (IMC/Departamento de Ciencia de la Computación UC/Instituto Milenio Fundamentos de los Datos) y Domagoj Vrgoč (IMC/Instituto Milenio Fundamentos de los Datos).

De acuerdo con los organizadores, el reconocimiento se entregó a estos investigadores ya que sus trabajos sentaron las “bases de lenguajes lógicos para consultar grafos de propiedades que fueron adoptados en los estándares internacionales SQL y GQL en el plazo de una década”.

Los papers premiados son Querying Graphs with Data (Leonid Libkin, Wim Martens, Domagoj Vrgoč; Journal of the ACM, Volume 63, Issue 2, pages 1–53, 2016); Regular Queries on Graph Databases (Juan Reutter, Miguel Romero, Moshe Vardi; Theory of Computing Systems, Volume 61, Issue 1, pages 31–83, 2017) y Querying Regular Graph Patterns (Pablo Barceló, Leonid Libkin, Juan Reutter; Journal of the ACM, Volume 61, Issue 1, pages 1–54, 2014).

“El comité buscó en la literatura científica resultados que les sirvieran de guía e identificó cuatro influencias clave. Dos de ellas, que datan de las décadas de 1980 y 1990, tratan sobre las omnipresentes consultas de rutas regulares, que no satisfacen las necesidades de los lenguajes de consulta modernos. Para ello, se requerían dos nuevas incorporaciones clave: la consulta simultánea de la topología y los datos del grafo, y la consulta de rutas complejas de longitud arbitraria. Estas fueron proporcionadas por los artículos 1 y 2, y sus construcciones clave se incorporaron a los nuevos estándares”, señalan los organizadores.

Además, agregan, las versiones de estos artículos presentadas en conferencias, recibieron “premios que reconocen su trayectoria y su papel en la provisión de fundamentos teóricos para nuevos lenguajes de consulta industriales”. En cuanto al tercer artículo, el paper aborda un “desafío clave de la composicionalidad en los lenguajes de grafos. Su principal contribución es una representación compacta de los resultados de las consultas como autómatas, transformándolos eficazmente en nuevas bases de datos de grafos”.

Sobre este tercer trabajo, la organización indica que despertó un gran “interés entre los profesionales del sector interesados en ampliar GQL con consultas de grafo a grafo, y fue reconocido con dos importantes premios por la tesis doctoral en la que se basa”.

Dadas las contribuciones fundamentales de todos estos artículos y la “sorprendente rapidez con la que toda la industria de bases de datos relacionales y de grafos adoptó los estándares SQL y GQL, estos trabajos merecen ser reconocidos con el Premio Alonzo Church”.