Personal information

Emails & domains

Verified email domains

Websites & social links

http://mromero.cl/

Biography

Miguel Romero received his M.Sc. in Computer Science and Mathematical Engineering degree (2012) from Universidad de Chile. He completed his Ph.D. in Computer Science (2016) also at Universidad de Chile.

In 2016, he was a research fellow at the Simons Institute for the Theory of Computing, UC Berkeley. From 2017 to 2019, he was a postdoctoral researcher in the Department of Computer Science at University of Oxford. From 2020 to 2023, he was an assistant professor in the Faculty of Engineering and Sciences at Universidad Adolfo Ibáñez (UAI), Chile.

Since 2023, he has been an assistant professor in the Department of Computer Science at Pontificia Universidad Católica de Chile. His research interests include theoretical computer science, data management and machine learning.

Activities

Collapse all

Funding (4)

National Center for Artificial Intelligence (CENIA), Basal ANID. Young Investigator.

2022-11 to present | Grant
ANID (Santiago, CL)
Source: Self-asserted source
Miguel Romero Orth

Computing Platform for Deep Learning based on NVIDIA DGX A100. Fondequip Mediano. Associate Researcher

2022-01 to present | Grant
ANID (Santiago, CL)
Source: Self-asserted source
Miguel Romero Orth

Declarative and Ontology-Enhanced Data Analytics and Machine Learning (DODAM), STIC-AmSud, ANID. International Coordinator.

2022-01 to 2023-12 | Grant
ANID (Santiago, CL)
Source: Self-asserted source
Miguel Romero Orth

Tractable Restrictions of Conjunctive Queries and Extensions. Fondecyt de Iniciación. Principal Investigator

2020-11 to 2023-11 | Grant
ANID (Santiago, CL)
Source: Self-asserted source
Miguel Romero Orth

Works (32)

The Distributional Uncertainty of the SHAP score in Explainable Machine Learning

European Conference on Artificial Intelligence (ECAI)
2024 | Conference paper
Contributors: Santiago Cifuentes; Leopoldo Bertossi; Nina Pardal; Sergio Abriola; Vanina Martinez; Miguel Romero Orth
Source: Self-asserted source
Miguel Romero Orth

UnRavL: A Neuro-Symbolic Framework for Answering Graph Pattern Queries in Knowledge Graphs

Learning on Graphs Conference (LoG)
2024 | Conference paper
Contributors: Tamara Cucumides; Daniel Daza; Pablo Barceló; Michael Cochez; Floris Geerts; Juan Reutter; Miguel Romero Orth
Source: Self-asserted source
Miguel Romero Orth

A theory of link prediction via relational weisfeiler-leman on knowledge graphs

Conference on Neural Information Processing Systems (NeurIPS)
2023 | Conference paper
Contributors: Xingyue Huang; Miguel Romero Orth; Ismail Ceylan; Pablo Barceló
Source: Self-asserted source
Miguel Romero Orth

Modeling GPU Dynamic Parallelism for self similar density workloads

Future Generation Computer Systems
2023 | Journal article
DOI: 10.1016/J.FUTURE.2023.03.046
WOSUID: WOS:000981972900001
Contributors: Quezada, Felipe A.; Navarro, Cristobal A.; Romero, Miguel; Aguilera, Cristhian
Source: check_circle
Web of Science Researcher Profile Sync

On Monotonic Determinacy and Rewritability for Recursive Queries and Views

ACM Transactions on Computational Logic
2023 | Journal article
DOI: 10.1145/3572836
WOSUID: WOS:000964776700007
Contributors: Benedikt, Michael; Kikot, Stanislav; Ostropolski-Nalewaja, Piotr; Romero, Miguel
Source: check_circle
Web of Science Researcher Profile Sync

Pliability and Approximating Max-CSPs

Journal of the ACM
2023-12-31 | Journal article | Author
DOI: 10.1145/3626515
Part of ISSN: 0004-5411
Part of ISSN: 1557-735X
Contributors: Miguel Romero Orth; Marcin Wrochna; Stanislav Zivny
Source: Self-asserted source
Miguel Romero Orth

Conjunctive Regular Path Queries under Injective Semantics

Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems
2023-06-18 | Conference paper | Author
DOI: 10.1145/3584372.3588664
Contributors: Diego Figueira; Miguel Romero Orth
Source: Self-asserted source
Miguel Romero Orth

On Computing Probabilistic Explanations for Decision Trees

Conference on Neural Information Processing Systems (NeurIPS)
2022 | Conference paper
Contributors: Marcelo Arenas; Pablo Barceló; Miguel Romero Orth; Bernardo Subercaseaux
Source: Self-asserted source
Miguel Romero Orth

THE COMPLEXITY OF GENERAL-VALUED CONSTRAINT SATISFACTION PROBLEMS SEEN FROM THE OTHER SIDE

SIAM Journal on Computing
2022 | Journal article
DOI: 10.1137/19M1250121
WOSUID: WOS:000760359900002
Contributors: Carbonnel, Clement; Romero, Miguel; Zivny, Stanislav
Source: check_circle
Web of Science Researcher Profile Sync

Weisfeiler and Leman Go Relational

Learning on Graphs Conference (LoG)
2022 | Conference paper
Contributors: Pablo Barceló; Mikhail Galkin; Christopher Morris; Miguel Romero Orth
Source: Self-asserted source
Miguel Romero Orth

Treewidth-Pliability and PTAS for Max-CSPs

Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA)
2021-01 | Conference paper
DOI: 10.1137/1.9781611976465.29
Part of ISBN: 9781611976465
Contributors: Miguel Romero; Marcin Wrochna; Stanislav Živný
Source: Self-asserted source
Miguel Romero Orth

A More General Theory of Static Approximations for Conjunctive Queries

Theory of Computing Systems
2020 | Journal article
DOI: 10.1007/S00224-019-09924-0
WOSUID: WOS:000542791800010
Contributors: Barcelo, Pablo; Romero, Miguel; Zeume, Thomas
Source: check_circle
Web of Science Researcher Profile Sync

On Monotonic Determinacy and Rewritability For Recursive Queries and Views

PODS: PROCEEDINGS OF THE ACM SIGMOD-SIGACT-SIGAI SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS
2020 | Journal article
WOSUID: WOS:000627789800009
Contributors: Benedikt, Michael; Kikot, Stanislav; Ostropolski-Nalewaja, Piotr; Romero, Miguel
Source: check_circle
Web of Science Researcher Profile Sync

Point-Width and Max-CSPs

ACM Transactions on Algorithms
2020 | Journal article
DOI: 10.1145/3409447
WOSUID: WOS:000575717400013
Contributors: Carbonnel, Clement; Romero, Miguel; Zivny, Stanislav
Source: check_circle
Web of Science Researcher Profile Sync

Boundedness of Conjunctive Regular Path Queries (Track B: Automata, Logic, Semantics, and Theory of Programming)

International Colloquium on Automata, Languages and Programming (ICALP)
2019 | Conference paper
DOI: 10.4230/LIPICS.ICALP.2019.104
Contributors: Pablo Barceló; Diego Figueira; Miguel Romero
Source: Self-asserted source
Miguel Romero Orth

Point-width and Max-CSPs

Proceedings - Symposium on Logic in Computer Science
2019 | Conference paper
DOI: 10.1109/LICS.2019.8785660
WOSUID: WOS:000502349000006
Contributors: Carbonnel, Clement; Romero, Miguel; Zivny, Stanislav
Source: check_circle
Web of Science Researcher Profile Sync

A More General Theory of Static Approximations for Conjunctive Queries

International Conference on Database Theory (ICDT)
2018 | Conference paper
DOI: 10.4230/LIPICS.ICDT.2018.7
Contributors: Pablo Barceló; Miguel Romero; Thomas Zeume
Source: Self-asserted source
Miguel Romero Orth

The complexity of general-valued CSPs seen from the other side

37TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS
2018 | Journal article
DOI: 10.1109/FOCS.2018.00031
WOSUID: WOS:000455014500022
Contributors: Carbonnel, Clement; Romero, Miguel; Zivny, Stanislav
Source: check_circle
Web of Science Researcher Profile Sync

The Tractability Frontier of Well-designed SPARQL Queries

PODS: PROCEEDINGS OF THE ACM SIGMOD-SIGACT-SIGAI SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS
2018 | Journal article
DOI: 10.1145/3196959.3196973
WOSUID: WOS:000455483100022
Contributors: Romero, Miguel
Source: check_circle
Web of Science Researcher Profile Sync
grade
Preferred source (of 2)‎

Regular Queries on Graph Databases

Theory of Computing Systems
2017 | Journal article
DOI: 10.1007/S00224-016-9676-2
WOSUID: WOS:000402462000003
Contributors: Reutter, Juan L.; Romero, Miguel; Vardi, Moshe Y.
Source: check_circle
Web of Science Researcher Profile Sync

Semantic Optimization in Tractable Classes of Conjunctive Queries

SIGMOD Record
2017 | Journal article
WOSUID: WOS:000409320200001
Contributors: Barcelo, Pablo; Pieris, Andreas; Romero, Miguel
Source: check_circle
Web of Science Researcher Profile Sync

The Complexity of Reverse Engineering Problems for Conjunctive Queries

International Conference on Database Theory (ICDT)
2017 | Conference paper
DOI: 10.4230/LIPICS.ICDT.2017.7
Contributors: Pablo Barceló; Miguel Romero
Source: Self-asserted source
Miguel Romero Orth

The Homomorphism Problem for Regular Graph Patterns

Proceedings - Symposium on Logic in Computer Science
2017 | Conference paper
DOI: 10.1109/LICS.2017.8005106
WOSUID: WOS:000425849500044
Contributors: Romero, Miguel; Barcelo, Pablo; Vardi, Moshe Y.
Source: check_circle
Web of Science Researcher Profile Sync

SEMANTIC ACYCLICITY ON GRAPH DATABASES

SIAM Journal on Computing
2016 | Journal article
DOI: 10.1137/15M1034714
WOSUID: WOS:000385001200005
Contributors: Barcelo, Pablo; Romero, Miguel; Vardi, Moshe Y.
Source: check_circle
Web of Science Researcher Profile Sync

Regular Queries on Graph Databases

International Conference on Database Theory (ICDT)
2015 | Conference paper
DOI: 10.4230/LIPICS.ICDT.2015.177
Contributors: Juan L. Reutter; Miguel Romero; Moshe Y. Vardi
Source: Self-asserted source
Miguel Romero Orth

SPARQL with Property Paths

Lecture Notes in Computer Science
2015 | Journal article
DOI: 10.1007/978-3-319-25007-6_1
WOSUID: WOS:000374242200001
Contributors: Kostylev, Egor V.; Reutter, Juan L.; Romero, Miguel; Vrgoc, Domagoj
Source: check_circle
Web of Science Researcher Profile Sync

Does Query Evaluation Tractability Help Query Containment?

Pods: Proceedings of the Acm Sigmod-sigact-sigart Symposium on Principles of Database Systems
2014 | Journal article
DOI: 10.1145/2594538.2594553
WOSUID: WOS:000450809200017
Contributors: Barcelo, Pablo; Romero, Miguel; Vardi, Moshe Y.
Source: check_circle
Web of Science Researcher Profile Sync
grade
Preferred source (of 2)‎

EFFICIENT APPROXIMATIONS OF CONJUNCTIVE QUERIES

SIAM Journal on Computing
2014 | Journal article
DOI: 10.1137/130911731
WOSUID: WOS:000338833100005
Contributors: Barcelo, Pablo; Libkin, Leonid; Romero, Miguel
Source: check_circle
Web of Science Researcher Profile Sync

Semantic acyclicity on graph databases

Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGAI symposium on Principles of database systems
2013-06-22 | Conference paper
DOI: 10.1145/2463664.2463671
Contributors: Pablo Barceló Baeza; Miguel Romero; Moshe Y. Vardi
Source: Self-asserted source
Miguel Romero Orth

Efficient approximations of conjunctive queries

Proceedings of the 31st ACM SIGMOD-SIGACT-SIGAI symposium on Principles of Database Systems
2012-05-21 | Conference paper
DOI: 10.1145/2213556.2213591
Contributors: Pablo Barceló; Leonid Libkin; Miguel Romero
Source: Self-asserted source
Miguel Romero Orth

TASK-ORIENTED PROBABILISTIC ACTIVE VISION

International Journal of Humanoid Robotics
2010 | Journal article
DOI: 10.1142/S0219843610002179
WOSUID: WOS:000284230200007
Contributors: Guerrero, Pablo; Ruiz-Del-Solar, Javier; Romero, Miguel; Angulo, Sergio
Source: check_circle
Web of Science Researcher Profile Sync

Explicitly Task Oriented Probabilistic Active Vision for a Mobile Robot

Lecture Notes in Computer Science
2009 | Journal article
DOI: 10.1007/978-3-642-02921-9_8
WOSUID: WOS:000269207300008
Contributors: Guerrero, Pablo; Ruiz-del-Solar, Javier; Romero, Miguel
Source: check_circle
Web of Science Researcher Profile Sync
How many people are using ORCID?