This line seeks to establish the theoretical and practical foundations on which future data-centric platforms and systems will be built. It focuses on anticipating emerging requirements -such as efficiency, explainability, expressiveness, fairness, privacy, among others- and developing tools capable of addressing them.

From a theoretical perspective, new formalisms, languages and computational results based on formal methods are proposed. At the experimental level, prototype systems are designed and implemented to study the behavior of these tools in real or synthetic data contexts.

This flagship project acts as a bridge between conceptual development and empirical validation, driving advances in key areas such as explainable artificial intelligence, differential privacy and the integration of these methods into knowledge graph-oriented systems.

Pablo Barceló, from the Institute of Computational Mathematical Engineering at the Catholic University of Chile, together with Aidan Hogan, director of the Department of Computer Science at the University of Chile, are the leaders of this line of work.

The team is composed of Susana Eyheramendy (Faculty of Engineering and Sciences, Universidad Adolfo Ibáñez, Éric Tanter (Department of Computer Science, Universidad de Chile), Jorge Baier (Department of Computer Science, Universidad Católica de Chile), Federico Olmedo (Department of Computer Science, Universidad de Chile), Cristian Riveros (Department of Computer Science, Universidad Católica de Chile), Leopoldo Bertossi (Universidad San Sebastián) and Matías Toro (Department of Computer Science, Universidad de Chile).

Leaders of the research line

Research team