Michel Leclère

        Mes recherches portent sur l'utilisation du modèle des graphes conceptuels comme formalisme opérationnel graphique de représentation des connaissances : connaissances représentées par des graphes et raisonnements par des opérations de graphes. Je m'intéresse plus particulièrement à la construction et l'opérationnalisation des ontologies formelles dans les systèmes à base de connaissances et à l'utilisation de ce formalisme pour rendre le Web Sémantique opérationnel.

 Enseignant dans les différents modules des parcours informatiques de LMD de l'UFR Sciences de l'Université Montpellier 2, en particulier dans les modules de logique, spécifications formelles et représentation des connaissances. Responsable du TER de Master 1 Informatique.