Benoît Delahaye

Maître de conférences HDR
Université de Nantes / 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

  • Responsable du Master 1 MIAGE
  • Responsable Adjoint de l'équipe AeLoS
  • Membre (élu) du Conseil du LS2N
  • Membre (élu) du Conseil du Département Informatique
  • Responsable de la taxe d'apprentissage

Projets, Conférences

Sujets de stage / thèse

Etudiants

  • 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