El investigador principal de CENIA, Pablo Barceló, fue destacado por su artículo “Querying Regular Graph Patterns”, cuyo aporte teórico sustenta hoy los lenguajes con los que se consultan bases de datos en grafos a nivel mundial.
Pablo Barceló, investigador principal del Centro Nacional de Inteligencia Artificial (CENIA) de Chile, doctor en Ciencias de la Computación de la Universidad de Toronto, fue distinguido con el Alonzo Church Award for Outstanding Contributions to Logic and Computation, otorgado por ACM SIGLOG, la división de lógica y computación de la Association for Computing Machinery. Sus especialidades abarcan la teoría de bases de datos, la lógica para ciencias de la computación y los fundamentos matemáticos de la Inteligencia Artificial.
Barceló es galardonado junto a su compatriota Juan Reutter, director del Instituto Milenio Fundamentos de los Datos (IMFD) y también académico de la Universidad Católica, y a los investigadores Leonid Libkin, Wim Martens, Miguel Romero, Moshe Vardi y Domagoj Vrgoč, por una serie de artículos publicados entre 2014 y 2017 que influyeron directamente en la creación de dos estándares internacionales: una extensión de SQL para consultar grafos, y GQL, el primer lenguaje diseñado específicamente para ese fin.
El trabajo premiado es Querying Regular Graph Patterns, publicado en el Journal of the ACM en 2014 junto a Leonid Libkin y Juan Reutter. En él, los autores sentaron las bases matemáticas para consultar este tipo de bases de datos de forma rigurosa, y abrieron el camino a lenguajes de consulta más potentes.
Para Pablo Barceló, el reconocimiento refuerza la proyección internacional del centro y de la investigación chilena en un campo con incidencia creciente en el desarrollo tecnológico global. “Es la primera vez que un equipo conformado por investigadores latinoamericanos gana este premio, uno de los más importantes en aspectos lógicos de la computación a nivel mundial. Esto viene a confirmar que en América Latina se está haciendo investigación de frontera en ciencias de la computación, y que nuestros resultados tienen impacto real tanto en la teoría como en la industria. Es una señal potente para las nuevas generaciones de investigadores e investigadoras de la región”, aseguró.
El artículo forma parte de un conjunto de tres publicaciones que abordaron el problema desde distintos ángulos: Querying Regular Graph Patterns, de Barceló, Libkin y Reutter (Journal of the ACM, 2014); Querying Graphs with Data, de Libkin, Martens y Vrgoč (Journal of the ACM, 2016); y Regular Queries on Graph Databases, de Reutter, Romero y Vardi (Theory of Computing Systems, 2017). Juntos, estos trabajos aportaron la base formal que permitió que años después sus principios fueran incorporados en SQL y en GQL.
El premio será entregado en ICALP 2026, que se realizará entre el 7 y 10 de julio en el Royal Holloway de la Universidad de Londres, conferencia internacional que reúne anualmente a los principales investigadores en teoría de la computación de todo el mundo. La ceremonia se realizará en el marco de una de las instancias científicas más relevantes del área, donde además se presentan los avances más recientes en algoritmos, lógica y complejidad computacional.
El Alonzo Church Award, creado en 2015, se entrega anualmente a contribuciones publicadas en los últimos 25 años que hayan demostrado impacto duradero. Entre sus ganadores anteriores figuran científicos que sentaron bases fundamentales del procesamiento de lenguaje en la web, el intercambio de datos estructurados y la semántica de lenguajes de programación. Con este galardón, Chile se convierte en el primer país latinoamericano representado entre sus ganadores.
