Benoît Delahaye

Projets, Conférences

• HDR : Modélisation et Vérification de Systèmes Incertains ( exposé , document )
  
  
• Laboratoire d'Innovation NEXT BAND (Biological dAta integratioN in the Datascape) -- starting soon
  
  
• ANR TOUNDRA (maThematical mOdeling and analysis of boreal forests vUlnerability to climate chaNge: a hybriD appRoAch)
  
  
• ANR BisoUS (Better Synthesis for Underspecified Quantitative Systems)
  
  
• VeNUS (Verification for Natural Uncertain Systems) -- Mission pour l'interdisciplinarité (CNRS)
  • Spécification et vérification pour l'Océan (vidéo)
• CoPaS (Constraints in Parametric Sytems) -- RFI Atlanstic2020
  • CoPaS en 180s (vidéo)
• ANR PACS (Parametric Analyses of Concurrent Systems)
  
  
• SynCoP 2020 , satellite workshop of ETAPS 2020 on Synthesis of Complex Parameters

Sujets de stage / thèse

• Pas de sujets proposés actuellement

Etudiants

• Tudwall Crezé, doctorant, 2026/--
  Modélisation des systèmes complexes issus du vivant : une approche associant l'intelligence artificielle et les méthodes mécanistes
  co-encadré par G. Cantin et M. Magnin
  
  • Thomas Barbedette-Gérard, doctorant GDR OMER, 2025/--
    Mise à l’échelle populationnelle de jumeaux numériques individus-centrés des oiseaux marins
    co-encadré par S. Lanco (MARBEC)
    
  • Sully Mak, doctorant ANR TOUNDRA, 2025/--
    Impact des perturbations climatiques et anthropiques des écosystèmes forestiers boréaux : une approche par modélisation hybride
    co-encadré par G. Cantin
    
  • David Julien, doctorant, 2022/2025
    Vérification de modèles hybrides probabilistes et application aux modèles océaniques incertains
    co-encadré par G. Ardourel et G. Cantin
    
  • Jakez Rolland, doctorant CIFRE, 2021/2024
    Validation formelle des modèles prédictifs en médecine personnalisée
    co-encadré par C. Attiogbé et D. Eveillard
    
  • 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