CV

Benoît Delahaye

Associate Professor
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

Responsabilities

  • In charge of Master 1 MIAGE

  • Member of Bureau du Département Informatique
  • In charge of fund-raising from businesses

Projects

Internship/PhD proposals

Students

  • Mohamed Amine Aouadhi, Ph.D. student, 2014/--
    Introducing Probabilistic reasonning in Event-B
    co-supervised by C. Jard and A. Lanoix

  • Anicet Bart, Ph.D. student, 2014/--
    Constraint Programming for Verification
    officially supervised by C. Truchet and E. Monfroy

  • Bao Ran, Industrial Ph.D. student, 2017/--
    Formal Modeling and Verification of civil drones using parameterised probabilistic methods
    co-supervised by C. Attiogbé

  • Dimitri Antakly, Industrial Ph.D. student, 2017/--
    Learning and Statistical Model-Checking for Security
    co-supervised by P. Leray

  • Hadrien Bride, post-doc, 2017
    Verification of Parameterised, Probabilistic and Timed Systems
    co-supervised by D. Lime