À 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.
CV court
- Depuis 2010 : Maître de conférences à l’IRIT et à la FSI – Université Toulouse III
- Depuis 2022, directeur des études de la Licence Informatique
- Depuis 2021, co-responsable du domaine d’application stratégique “e-Éducation“
- Depuis 2014, membre du comité de pilotage du parcours “Sciences du Logiciel” du Master Informatique
- 2010-2015 : délégation partielle au CNRS dans le cadre d’une chaire d’excellence
- 2008-2010 : Post-doctorant à l’INRIA Grenoble Rhône-Alpes. Équipe Pop-Art. Encadré par Gregor Gössler
- 2004-2007 : Doctorant à l’IRISA – INRIA Rennes. Équipe S4. Sous la direction d’Éric Badouel
- févr.-juin 2004 : Stage de DEA à l’IRISA – INRIA Rennes. Équipe S4. Encadré par Sophie Pinchinat