Théo Lacoste
- 2023 : Stage M1 au LaBRI. Tuteur : Corto Mascle. Sujet : Etude des mots tueurs dans les automates non ambigüs (référence)
- Implémentation d’algorithme générant des mots tueurs
- Génération aléatoire d’automates non ambigüs
- 2024 : Stage M2 à la SNCF en collaboration avec le LaBRI. Tuteurs : Farès Chucri (SNCF), Grégoire Sutre (LaBRI) et Igor Walukiewicz (LaBRI). Sujet : Modélisation formelle de la topologie ferroviaire.
- Compréhension et utilisation d’une base de données
- Création modèle formel
- Parcours de graphe
- 2024 - 2027 : Thèse au LACL en cotutelle avec L’université de Sherbrooke. Directeurs : Régine Laleau (LACL), Frédéric Gervais (LACL), Marc Frappier (Sherbrooke). Sujet : Time-aware correct-by-construction process based on Event-B and ASTD.