Delahaye David
Promotion 2004 de l’internat.
Le classement à l'internat (ECN/EDN) reflète une performance à un concours étudiant, à un instant T. Il ne préjuge en rien de la qualité, de la compétence ou du sérieux d'un médecin en exercice.
Activité actuelle
- Clinique Malartic — Etablissement de Soins Pluridisciplinaire · privéOllioules — constaté depuis au moins juin 2026
Dates = première apparition sur nos relevés mensuels de l'Annuaire Santé, pas nécessairement le début d'exercice.
- Anesthesie-réanimation
- DES Anesthésie-réanimation
Source : data.gouv.fr — Annuaire Santé / RPPS (licence Etalab 2.0), répertoire FINESS (Licence Ouverte).
Parcours
- 2001Doctorat soutenu en Informatique fondamentale · Paris 6Conception de langages pour décrire les preuves et les automatisations dans les outils d'aide à la preuve : une étude dans le cadre du système Coq
- 2004
- ≈ 2009Début d'exercice estimé en Anesthésie-réanimationEstimation basée sur la durée du DES (5 ans) après l’internat — à ± 1 an.
- 2016Première publication scientifique en 2016Détail dans la section « Travaux de recherche » ci-dessous.Source : HAL (archive ouverte)
- 2025Accrédité par la Haute Autorité de Santé · CFARLibéral · 20 février 2025
Travaux de recherche
Thèse de doctorat
- Conception de langages pour décrire les preuves et les automatisations dans les outils d'aide à la preuve : une étude dans le cadre du système CoqDoctorat en Informatique fondamentale · 2001 · Paris 6Sous la direction de Christine Paulin-Mohring et Benjamin Werner
Directions de thèse
- A dirigé la thèse de Théo Laurent (2025) — Structural Subtyping in MLTT
- A dirigé la thèse de Julie Cailler (2023) — Designing an Automated Concurrent Tableau-Based Theorem Prover for First-Order Logic
- A dirigé la thèse de Vincent Iampietro (2021) — Vérification formelle d'une méthodologie pour la conception et la production de systèmes numériques critiques
- A dirigé la thèse de Alexandre Le Borgne (2020) — ARIANE : Re-documentation automatique pour améliorer la compréhension et l'évolution d'architectures logicielles
- A dirigé la thèse de Guillaume Bury (2019) — Intégrer la réecriture, la méthode des tableaux et la superposition dans les solveurs SMT
- A dirigé la thèse de Pierre Halmagrand (2016) — Déduction automatique et certification de preuve pour la méthode B
- A dirigé la thèse de Mélanie Jacquel (2013) — Automatisation des preuves pour la vérification des règles de l'Atelier B
- A dirigé la thèse de Pierre-Nicolas Tollitte (2013) — Extraction de code fonctionnel certifié à partir de spécifications inductives
Publications scientifiques
- Better satisfaction of patients operated on anterior cruciate ligament reconstruction in outpatient setting. A prospective comparative monocentric study of 60 casesArchives of Orthopaedic and Trauma Surgery · 2016 · avec Ollivier Matthieu, Alexandre Lunebourg, Jean-Noël Argenson et Sebastien Parratte
Sources : theses.fr (ABES) · HAL (archive ouverte) — métadonnées publiques. Voir la page Sources.
Ils ont étudié ensemble
13 internes affectés en Anesthésie-réanimation à Aix-Marseille en 2004.
| Médecin | Exerce aujourd'hui à |
|---|---|
| Wiramus Sandrine | Marseille |
| Courbon Cécile | — |
| Delahaye DavidCette fiche | Ollioules |
| Couret David | Saint-Pierre |
| Gompel François | Marseille 8e Arrondissement |
| Voillet François | Marseille 12e Arrondissement |
| Fouche Louis | Marseille 5e Arrondissement |
| Diesnis Isabelle | — |
| Lefebvre Laurent | Charenton-le-Pont |
| Saadat Suzanne | Brest |
| Bastard Olivier | Marseille |
| Paquet Jérémie | Marseille 12e Arrondissement |
| Lieven Rémi | Sorgues |
Ville d'exercice issue de l'Annuaire Santé (RPPS) — affichée seulement quand l'identification du médecin actuel est non ambiguë.
Cette fiche vous concerne ?
Revendiquez-la pour y ajouter vos informations et suivre ses mises à jour, ou corrigez une donnée inexacte.