TUD Logo

TUD Home » ... » Computational Logic » Staff » Michaël Thomazo

Computational Logic

Michaël Thomazo

Postdoctoral research assistant
Email address
Room 2036, Nöthnitzer Straße 46, Dresden-Räcknitz

About me

I graduated from MPRI in 2010 at the Ecole Normale Supérieure de Cachan, France. I then started a Ph.D. in knowledge representation and reasoning within the INRIA team GraphIK, based in Montpellier, at LIRMM, supervised jointly by Marie-Laure Mugnier and Jean-François Baget. My thesis, entitled “Conjunctive Query Answering Under Existential Rules - Decidability, Complexity, and Algorithms”, focused on data access when taking general domain knowledge into account. I am now a post-doctoral research assistant at the Computational Logic Group at the TU Dresden, since October 2013.

Research interests

Knowledge Representation and Reasoning, Existential Rules, OBDA

Last modified: 3rd Mar 2015, 10.03 AM
Author: Dr. Sarah Gaggl