Adl  Algorithmes  Architecture logicielle  Assistants de preuve  Automatisation  B  Bureautique  Certification  Certification de Preuve  Code embarqué  Composant  Composants  Composants logiciels  Coq  Coq  Dispositifs médicaux implantables  Déduction  Déduction Automatique  Déduction Modulo Théorie  Déduction automatique  Déficiences fonctionnelles humaines  Evolution  Evolution d'architectures  Focalize  Génération de code fonctionnel  Génération de preuves  Génie Logiciel  Génie logiciel  Implémentation d'outils de déduction automatique  Ingénierie dirigée par les modèles  Intelligence artificielle  Lambda-calcul  Langage de preuves  Langage de tactiques  Logiciels -- Développement  Logiciels -- Exactitude  Logiciels  Logique  Logique du premier ordre  Modèle formel B  Modèles de calculs concurrents  Métalangage  Méthode B  Méthode des Tableaux  Méthode des tableaux  Méthodes Formelles  Méthodes formelles  Méthodes formelles  Niveau d'abstraction  Objective Caml  Ontologies  Outils d'aide à la preuve  Preuve de programmes  Preuve formelle  Programmation fonctionnelle  Reconstruction d'architectures  Relations inductives  Reutilisation  Rewriting  Règles de l'Atelier B  Règles existentielles  Réécriture, Systèmes de  Satisfiability Modulo Theories  Spécifications exécutables  Style de preuves  Superdéduction  Superposition  Système Coq  Système Ferroviaire  Tableaux analytiques au premier ordre  Termination  Théorie de la démonstration  Théorie des types  Théorèmes -- Démonstration automatique  Transports ferroviaires  Unification  Versionnement  Vérification  

David Delahaye a rédigé la thèse suivante :


David Delahaye dirige actuellement les 2 thèses suivantes :

Informatique
En préparation depuis le 01-10-2020
Thèse en préparation


David Delahaye a dirigé les 5 thèses suivantes :


David Delahaye a été président de jury des 2 thèses suivantes :


David Delahaye a été rapporteur de la thèse suivante :


David Delahaye a été membre de jury de la thèse suivante :