Mauricio Martel

I'm a PhD student working at the Theory of Artificial Intelligence Group at the University of Bremen, Germany. My research interests lie in the areas of Mathematical Logic and Logic in Computer Science and Artificial Intelligence. In particular, in my PhD I'm studying conservative extensions (and the related problem of uniform interpolation) 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, 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.