Benoît Delahaye
Associate Professor (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
Responsabilities
- Co-head of the graduate school on Mathematics and ICT
- In charge of Master 1 MIAGE
- Head of research team VELO
- Elected member of the council of LS2N
- Elected member of the council of "Département Informatique"
Projects, Conferences
Internship/PhD proposals
Students
- David Julien, Ph.D. student, 2022/--
Hybrid probabilistic model verification and application to uncertain Ocean models
co-supervised by G. Ardourel and G. Cantin
- Jakez Rolland, industrial Ph.D. student, 2021/--
Formal validation of predictive models in personalized medicine
co-supervised by C. Attiogbé and D. Eveillard
- Paulin Fournier, post-doc, 2017/2018
Verification of Parameterised Probabilistic Systems
co-supervised by D. Lime
- Hadrien Bride, post-doc, 2017
Verification of Parameterised, Probabilistic and Timed Systems
co-supervised by D. Lime
- Dimitri Antakly, Industrial Ph.D. student, 2017/2020
Learning and Statistical Model-Checking for Security
co-supervised by P. Leray
- Bao Ran, Industrial Ph.D. student, 2017/2020
Formal Modeling and Verification of civil drones using parameterised probabilistic methods
co-supervised by C. Attiogbé
- Anicet Bart, Ph.D. student, 2014/2017
Constraint Programming for Verification
officially supervised by C. Truchet and E. Monfroy
- Mohamed Amine Aouadhi, Ph.D. student, 2014/2017
Introducing Probabilistic reasonning in Event-B
co-supervised by C. Jard and A. Lanoix