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, the Semantic Web and Logic in Computer Science.


Journal Articles

(with Juan L. Reutter and Moshe Y. Vardi) Regular queries on graph databases (Theory of Computing Systems 61(1), pages 31-83, 2017)

(with Pablo Barceló and Moshe Y. Vardi) Semantic acyclicity of graph databases (SIAM Journal on Computing 45(4), pages 1339-1376, 2016)

(with Pablo Barceló and Leonid Libkin) Efficient approximations of conjunctive queries (SIAM Journal on Computing 43(3), pages 1085-1130, 2014)

Conference Papers

(with Pablo Barceló, Moshe Y. Vardi) The homomorphism problem for regular graph patterns (to appear in LICS 2017)

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

(with Egor V. Kostylev, Juan L. Reutter, 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