À propos de moi

Je suis Maître de Conférences en Informatique, rattaché d’une part, pour la recherche, à l’équipe ACADIE du département FSL de l’IRIT et d’autre part, pour l’enseignement, au département Informatique de la FSI à l’Université Paul Sabatier Toulouse III.

Mes thématiques de recherche concernent essentiellement depuis mon DEA l’utilisation des méthodes formelles pour la conception fiable de systèmes critiques ainsi que la vérification modulaire de systèmes, avec un goût pour l’étude de formalismes logiques variés pouvant inclure des aspects modaux, temporisés ou probabilistes.

Depuis 2017, j’ai développé en parallèle un second axe de recherche lié à la conception d’outils numériques en soutien de l’apprentissage humain. Ceci m’a amené à devenir co-responsable en 2021 du domaine d’application stratégique “e-Éducation” de l’IRIT.

J’enseigne dans toutes les années de la Licence et du Master en Informatique à la fois sur les fondements théoriques de l’informatique mais aussi sur des aspects appliqués avec de l’ingénierie logicielle et du développement de logiciels critiques. Je suis directeur des études de la Licence Informatique ainsi que membre du comité de pilotage du parcours “Sciences du Logiciel” du Master Informatique.