.  Analyse de programmes  Analyse de scènes  Analyse des correspondances  Calcul de pose  Calcul des séquents  Calcul des tableaux  Complexité  Conditionnel  Couplage  Courbes hyperelliptiques  Cryptographie  Cryptographie à clé publique  Dynamique  Dynamique topologique  Décidabilité  Déduction naturelle  Démonstration automatique  Démonstration théorème  Extraction de contre-Modèles  Extraction de contre-modèles  Fonctions thêta  Formalisme  Gestion ressources  Induction  Informatique. Automatique théorique. Systèmes  Isogénies  Labels  Langages de programmation  Logiciels -- Vérification  Logique  Logique de séparation  Logique dynamique  Logique déontique  Logique informatique  Logique intuitionniste  Logique linéaire  Logique mathématique non classique  Logique épistémique  Logiques de ressources  Logiques de séparation  Logiques hybrides  Logiques modales intuitionnistes  Logiques temporelles  Logiques épistémiques  Mise en correspondance  Modalité  Modèle  Modélisation  Mondes possibles  Méthode d’induction  Méthodes des tableaux  Méthodes formelles  Méthodes formelles  Ordre 2  Parallélisme  Preuve  Preuve de programme  Preuves  Procédures de décision  Programmation logique  Raisonnement topologique  Recherche de preuves  Reconnaissance multivues  Réfutations  Simulation, Méthodes de  Spécification de programme  Structures multi-contextuelles  Synthèse de protocoles épistemiques  Synthèse de vues  Systèmes dynamiques  Systèmes experts  Systèmes informatiques  Systèmes, Conception de  Sémantique  Théorie de la démonstration  Théorie de la preuve  Théorie des langages  Théorie preuve  Théorèmes -- Démonstration automatique  Traitement d'images  Traitement réparti  Transformations de preuves  Variétés abéliennes  Vérification  Vérification et preuve  Vérification formelle  

Didier Galmiche dirige actuellement les 2 thèses suivantes :

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

Informatique
En préparation depuis le 27-11-2019
Thèse en préparation


Didier Galmiche a dirigé les 9 thèses suivantes :


Didier Galmiche a été président de jury des 3 thèses suivantes :

Mathématiques et informatique. Informatique
Soutenue le 05-10-2020
Thèse soutenue
Informatique
Soutenue le 08-02-2019
Thèse soutenue

Didier Galmiche a été rapporteur de la thèse suivante :


Didier Galmiche a été membre de jury des 3 thèses suivantes :

Informatique
Soutenue le 21-07-2010
Thèse soutenue