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