Guilhem Ardouin
Page professionnelle
- 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)
- 2025 - … : Thèse au CEA List. Encadrants : Julien Girard-Satabin et Chokri Mraidha. Sujet : Réduire la fracture entre spécification expressive et vérification efficace pour l’apprentissage automatique (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.