Miguel Romero Orth

Postdoctoral Researcher
Department of Computer Science
University of Oxford

miguel.romero [at] cs.ox.ac.uk


Hola! I completed my Ph.D. in Computer Science at Universidad de Chile in 2016 under the supervision of Pablo Barceló. In 2012, I obtained a M.Sc. in Computer Science and a Mathematical Engineering degree from Universidad de Chile. I spent the Fall semester 2016 as a research fellow at the Simons Institute for the Theory of Computing at UC Berkeley. Since May 2017, I'm a postdoctoral researcher in the Department of Computer Science at the University of Oxford, under the supervision of Standa Zivny. My current research interests are in Database Theory, Constraint Satisfaction, the Semantic Web and Logic in Computer Science.


Journal Articles

(with Pablo Barceló and Andreas Pieris) Semantic optimization in tractable classes of conjunctive queries (ACM SIGMOD Record 2017)

(with Juan L. Reutter and Moshe Y. Vardi) Regular queries on graph databases (Theory of Computing Systems 2017)

(with Pablo Barceló and Moshe Y. Vardi) Semantic acyclicity of graph databases (SIAM Journal on Computing 2016)

(with Pablo Barceló and Leonid Libkin) Efficient approximations of conjunctive queries (SIAM Journal on Computing 2014)

Conference Papers

(with Clement Carbonnel and Standa Zivny) The complexity of general-valued CSPs seen from the other side (to appear in FOCS 2018)

The tractability frontier of well-designed SPARQL queries (PODS 2018)

(with Pablo Barceló and Thomas Zeume) A more general theory of static approximations for conjunctive queries (ICDT 2018)

(with Pablo Barceló and Moshe Y. Vardi) The homomorphism problem for regular graph patterns (LICS 2017)

(with Pablo Barceló) The complexity of reverse engineering problems for conjunctive queries (ICDT 2017)

(with Egor V. Kostylev, Juan L. Reutter and Domagoj Vrgoč) SPARQL with property paths (ISWC 2015)

(with Juan L. Reutter and Moshe Y. Vardi) Regular queries on graph databases (ICDT 2015)

(with Pablo Barceló and Moshe Y. Vardi) Does query evaluation tractability help query containment? (PODS 2014)

(with Pablo Barceló and Moshe Y. Vardi) Semantic acyclicity on graph databases (PODS 2013)

(with Pablo Barceló and Leonid Libkin) Efficient approximations of conjunctive queries (PODS 2012)

Some Links

PODS - ACM Symposium on Principles of Database Systems
ICDT - International Conference on Database Theory
Center for Semantic Web Research (Chile)
The Chilean Database Group
Turing Machine Simulator