Benoît Delahaye
Maître de conférences HDR
- Nantes Université / LS2N UMR 6004
- Bureau 218, bat 11
-
Laboratoire des Sciences du Numérique de Nantes
-
UFR de Sciences et Techniques
-
2, rue de la Houssinière
-
BP 92208
-
44322 NANTES Cédex 3
-
France
-
Tel : + 33 (0) 2 51 12 58 45
Responsabilités
- Directeur de l'École Universitaire de Recherche en Mathématiques et TIC
- Responsable de l'équipe VELO
- Membre (élu) du Conseil du LS2N
- Membre (élu) du Conseil du Département Informatique
Projets, Conférences
Sujets de stage / thèse
Etudiants
- David Julien, doctorant, 2022/--
Vérification de modèles hybrides probabilistes et application aux modèles océaniques incertains
co-encadré par G. Ardourel et G. Cantin
- Jakez Rolland, doctorant CIFRE, 2021/--
Validation formelle des modèles prédictifs en médecine personnalisée
co-encadré par C. Attiogbé et D. Eveillard
- Paulin Fournier, post-doctorant, 2017/2018
Vérification de systèmes Probabilistes Paramétrés
co-encadré par D. Lime
- Hadrien Bride, post-doctorant, 2017
Vérification de systèmes Probabilistes, Temporisés et Paramétrés
co-encadré par D. Lime
- Dimitri Antakly, doctorant CIFRE, 2017/2020
Apprentissage et vérification statistique pour la sécurité
co-encadré par P. Leray
- Bao Ran, doctorante CIFRE, 2017/2020
Modélisation formelle et vérification de systèmes de drones civils à l’aide de méthodes probabilistes paramétrées
co-encadrée par C. Attiogbé
- Anicet Bart, doctorant, 2014/2017
Programmation par Contraintes pour la Vérification
encadré officiellement par C. Truchet et E. Monfroy
- Mohamed Amine Aouadhi, doctorant, 2014/2017
Introduction de raisonnement probabiliste dans la méthode B événementiel
co-encadré par C. Jard et A. Lanoix
