Centres d’intérêts
- Méthodes formelles pour la conception fiable de systèmes critiques
- Spécifications logiques, temporelles et avec modalités
- Propriétés extra-fonctionnelles (temporisées, probabilistes)
- Théorie des langages et des automates
- Contrôle des systèmes à événements discrets
- Environnements informatiques pour l’apprentissage humain
Publications
Voir la page dédiée
Etudiants encadrés
Doctorant
- Mika Pons (allocation doctorale MENRT, 2021-2024). Titre provisoire : Data-Informed Instructional Design in Competence-Based Education. Co-encadrement avec Jean-Michel Bruel (IRIT, équipe SM@RT) et Franck Silvestre (IRIT, équipe TALENT).
- Denis Ollivier (thèse CIFRE en collaboration avec la société Kosmos, 2022-2025). Titre provisoire : Conception d’un système interactif pour la mise en œuvre des effets testing et spacing dans un contexte de travail scolaire hors classe. Co-encadrement avec Julien Broisin (IRIT, équipe TALENT) et Franck Silvestre (IRIT, équipe TALENT).
- Guillaume Verdier (allocation doctorale MENRT, 2012-2016). Titre : Variantes de spécifications à ensembles d’acceptation pour la conception modulaire de systèmes. Manuscrit
Postdoc
- Florent Avellaneda (financement IFSE du RTRA STAE, 2015-2016). Co-encadrement avec Silvano Dal-Zilio (CNRS, LAAS)
Master
- Romain Doré (M1 Informatique, 2023).
- Rémi Saurel (M1 et M2 MIAGE, 2022-24).
- Mika Pons (M1 et M2 Informatique, 2020-2021).
- Guillaume Verdier (M2R Info, 2012).
- Vinicius Stramosk (5ème année à l’Université de Santa Catarina, Brésil, 2011).
Responsabilités
- Depuis 2021 : co-responsable du domaine d’application stratégique “e-Éducation” de l’IRIT
- Depuis 2021 : membre élu au Collège Scientifique de l’Université Toulouse III en section 27