CV

Benoît Delahaye

Maître de conférences
Université de Nantes / LS2N UMR 6004
Bureau 215
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

  • Membre du Bureau du Département Informatique
  • Responsable de la taxe d'apprentissage

Projets, Conférences

Sujets de stage / thèse

Etudiants

  • Mohamed Amine Aouadhi, doctorant, 2014/--
    Introduction de raisonnement probabiliste dans la méthode B événementiel
    co-encadré par C. Jard et A. Lanoix

  • Anicet Bart, doctorant, 2014/--
    Programmation par Contraintes pour la Vérification
    encadré officiellement par C. Truchet et E. Monfroy

  • Bao Ran, doctorante CIFRE, 2017/--
    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é

  • Dimitri Antakly, doctorant CIFRE, 2017/--
    Apprentissage et vérification statistique pour la sécurité
    co-encadré par P. Leray

  • Hadrien Bride, post-doctorant, 2017
    Vérification de systèmes Probabilistes, Temporisés et Paramétrés
    co-encadré par D. Lime