Menu Fermer

Équipe GraphiK: Graphs for Inferences on Knowledge

Marie-Laure MUGNIER
Responsable
Jean-François BAGET
Adjoint

Équipe GRAPHIK

Graphs for Inferences on Knowledge

Les travaux de GraphIK se situent dans le domaine de la représentation des connaissances et des raisonnements, en lien fort avec la gestion de données.
Nous avons une approche fondée sur la logique mais utilisant également des graphes / hypergraphes étiquetés.
Notre activité repose sur trois pieds : théorie (expressivité, propriétés structurelles, décidabilité et complexité des problèmes, algorithmes), développement logiciel (des outils qui implémentent nos résultats théoriques), et applications (qui nourrissent en retour les questions théoriques).

Permanents
Michel Leclere, Maître de conférences, UM
Marie-Laure Mugnier, Professeur des universités, UM
David Carral Martinez, Chargé de recherche, INRIA
Madalina Croitoru, Professeur des universités, UM
Federico Ulliana, Maître de conférences, UM
Alain Gutierrez, Ingénieur d’étude, CNRS
Annie Aliaga, Assistant ingénieur, INRIA
Jean-François Baget, Chargé de recherche, INRIA

Doctorants
Martin Jedwabny, UM
Elie Najm, INRIA
Olivier Rodriguez, UM
Guillaume Perution Kihli, INRIA
Mohamed Aziz Sfar Gandoura, EDF

Autres personnels
Michel Chein, Invité longue durée Eméritat, UM
Florent Tornil, CDD Ingénieur-Technicien, INRIA
Maxime Buron, CDD Chercheur, INRIA