Benoît Delahaye

Responsabilities

• Head of the graduate school on Mathematics and ICT
• Head of research team VELO
• Elected member of the council of LS2N
• Elected member of the council of "Département Informatique"

Projects, Conferences

• Habilitation: Modeling and Verification of Systems with Uncertainties ( talk , document )
  
  
• VeNUS (Verification for Natural Uncertain Systems) -- CNRS starting grant, interdisciplinarity mission
  • Specification and Verification for the Ocean (vidéo -- in French)
• CoPaS (Constraints in Parametric Sytems) -- RFI Atlanstic2020
  • CoPaS in 180s (video -- in French)
• ANR PACS (Parametric Analyses of Concurrent Systems)
  
  
• SynCoP 2016 , satellite workshop of ETAPS 2016 on Synthesis of Complex Parameters

Internship/PhD proposals

• Internship subject : Statistical Parameter synthesis and visualization (in French, but an english version could be written on demand)

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