This research line seeks to establish the theoretical and practical foundations upon which future data-centric platforms and systems will be built. It focuses on anticipating emergent 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 an 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 Mathematical and Computational Engineering at Universidad de Católica de Chile, together with Aidan Hogan, director of the Department of Computer Science at Universidad de Chile, are the leaders of this research line.

The team is made up 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).

Research line leaders

Research team