David Carral

Position:

CRCN Researcher at Inria within the Sophia Antipolis - Méditerranée Centre

Affiliation:

Member of the Boreal research team, the LIRMM, the University of Montpellier, and the CNRS

Email:

david.carral@inria.fr

Address:

Office 3.131, 860 Rue de St. Priest Bâtiment 5, 34090 Montpellier

Identity:

Born in 1989; Spanish national; based in Montpellier, France; photo from 2023

Broadly speaking, I am interested in the study of logical languages (mostly first-order logic, existential rules, and Description Logics) and their theoretical/computational properties. More precisely, here are some research questions that interest me these days:
  • If a first-order theory without equality is rewritable or has the bounded-treewidth model property, does it also have the finite model property?
  • If a first-order theory is rewritable and has the finite universal model property, is it also uniformly bounded?
  • What are the expressivity limits of first-order languages that are decidable or semi-decidable?
  • What is the query complexity of solving boolean query entailment over existential rule theories that are rewritable?
  • What is the undecidability status of checking if an existential rule theory is rewritable?
  • If we can decide boolean conjunctive query entailment for a fragment of existential rules, can we also decide chase termination for this fragment?
If you would like to discuss any of the above, feel free to contact me.

You can use the links below to download everything I have published since 2021; check up my previous personal page for articles published before that year. Also, please let me know if there are any broken links or have issues accessing any publications.

2024
2023
2022
2021

If you're a student looking for research topics or supervision, send me an email so we can talk about it! Also, do let me know if you are interested in this proposal.

• From 9/07 to 8/11:

European Degree in Computer Engineering at Universidad Pontificia de Salamanca

• From 9/11 to 8/12:

Master of Science in Computer Science at Wright State University

• From 9/12 to 10/16:

Ph.D. in Computer Science and Engineering at Wright State University

• From 5/13 to 12/13:

Recognised Student at University of Oxford

• From 11/16 to 12/20:

Posdoctoral Researcher at Technische Universität Dresden

• From 1/21 onwards:

CRCN Researcher at Inria