Promo 2023-2025

Guilhem Ardouin

• 2023 : Stage L3 au LaBRI. Encadrant : Frédéric Herbreteau. Sujet : Développement d’une extension Visual Studio Code pour TChecker
• 2024 : Stage M1 au LaBRI. Encadrants : Antoine Rollet, Grégoire Sutre et Théo De Castro Pinto. Sujet : Exécution symbolique dirigée par A*
• 2025 : Stage M2 au CEA List. Encadrants : Michele Alberti et Julien Girard-Satabin. Sujet : Propriétés formelles de confiance dans CAISAR (vérification formelle de réseaux de neurones)

Côme Périn

• 2024 : Stage M1 à HUST. Thème : Suivi multi-utilisateurs en milieu clos avec capteurs hétérogènes. Théories des ensembles finis aléatoires.
• 2025 : Stage M2 chez Thales AVS France. Thème : Développement d’outils d’analyse des facteurs humains dans les cockpits.