Mauricio Martel

I'm a PhD student working at the Theory of Artificial Intelligence Group at the University of Bremen, in Germany. My research interests lie in the areas of Mathematical Logic and Logic in Computer Science. In particular, in my PhD I'm studying conservative extensions (as a decision problem) in guarded fragments of first-order logic and in description logics, with emphasis on model-theoretic characterizations and computational complexity results.

Before that, I studied Computer Science at the Department of Computer Science at the University of Río Cuarto, in Argentina. My master's thesis was titled "On the Undecidability of Relation-Changing Logics" and I worked at the Logics, Interaction and Intelligent Systems Group under the supervision of Carlos Areces.