PROJECTS
-
Researcher,
National Center for Artificial Intelligence Research (CENIA) (Funded by Programas Centros Basales, ANID, Chile).
-
Researcher,
Millennium Institute for Foundational Research on Data (IMFD) (Funded by Programa Milenio, ANID, Chile).
INVITED TALKS
- "The Role of Logic in Advancing Machine Learning: Three Case Studies. Invited keynote speaker, Highlights of Logic, Games, and Automata, 2024.
- "
The Expressive Power of Graph Neural Networks
". Invited keynote speaker, 16th Latin American Symposium on Theoretical Informatics (LATIN 2024).
- "Explainability Queries for ML Models and its Connections with Data Management Problems". Invited keynote speaker, 24th International Conference on Extending Database Technology and 24th
International Conference on Database Theory (EDBT/ICDT 2021).
- "A Theoretical View on Reverse Engineering Problems for Database Query Languages". Invited keynote speaker, 32nd International Workshop on Description Logics (DL 2019).
- "A Theoretical View on Reverse Engineering Problems for Database Query Languages". Invited keynote speaker, 12th Alberto
Mendelzon International Workshop on Foundations of Data Management (AMW 2018).
- "Semantic Acyclicity for Conjunctive Queries:
Approximations and Constraints". Invited keynote speaker, 23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016).
- "Query Languages for Graph Databases: Bridging the Gap
Between Theory and Practice". Invited keynote speaker, 30th Brazilian
Symposium on Databases (SBBD 2015).
- "Querying Graph Databases". Invited tutorial, 32nd ACM Symposium on Principles of
Database Systems (PODS 2013).
PROGRAM COMMITTES
As PC Chair
-
22nd International Conference on Database Theory, ICDT 2019, Lisbon, Portugal, March 26-28, 2019.
- SIGMOD/PODS PhD Symposium 2015, May
31, Melbourne, Australia.
- SIGMOD/PODS PhD Symposium 2014, June
22, Salt Lake City, USA.
As PC Member
- 27th International Conference on Database Theory (ICDT) March 25-28, ICDT 2024, Paestum, Italy.
- 21st
International Conference on Database Theory, ICDT 2018, Vienna, Austria, March 26-29, 2018.
- 19th International Conference on Database Theory, ICDT 2016, March 15-18, 2016, Bordeaux, France.
- 30th
ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, July 6-10,
Kyoto, Japan.
- SIGMOD Conference 2015, June 2-4, Melbourne, Australia.
- 33rd
ACM Symposium on Principles of Database Systems, PODS 2014, June 23-25,
Salt Lake City, USA.
- SIGMOD Conference 2012,
May 20-25, Scottsdale, USA.
- The 14th Asia-Pacific Web Coference, APWeb 2012,
April 11-13, Kunming, China.
- The 13th Asia-Pacific Web Coference, APWeb 2011,
April 18-20, Beijing, China.
- 31st Conferencia
Latinoamericana de Informatica, CLEI 2010,
October 18-22, Asuncion, Paraguay.
- International
Workshop on Logic in Databases, LID 2009, October 29-30, Copenhagen,
Denmark.
- 12th
Internacional Conference on Database Theory, ICDT 2009, March 23-25,
St. Petersburg, Russia.
- 5th
Internacional XML Database Symposium, XSym 2007, September 23-24, Vienna, Austria.
EDITORIAL WORK
- Member Editorial Board
Logical Methods in Computer Science.
- Editor of the Database
Principles Column of the SIGMOD Record (until September 2014).
- Editor Special Issue on
Foundations of Data Management Journal of Computer and System Sciences (JCSS).
ORGANIZATION
- ACM SIGMOD/PODS 2024, Santiago, Chile,
June 9-14, 2024 (General Chair).
- 9th Alberto Mendelzon Workshop on
Foundations of Data Management (AMW 2015), Lima, Peru, May 5-8, 2015
(General Chair).
- 21st Workshop on Logic, Language, Information and Computation (WOLLIC 2014),
Valparaiso, Chile, September 1-4, 2014 (Local Organizer).
- 3rd Alberto Mendelzon Workshop on
Foundations of Data Management (AMW 2009), Arequipa, Peru, May 12-15, 2009
(General Chair).