.  Analyse de programmes  Analyse de scènes  Analyse des correspondances  Calcul de pose  Calcul des séquents  Calcul des tableaux  Complexité  Composition non agrégative  Conditionnel  Couplage  Courbes hyperelliptiques  Cryptographie  Cryptographie à clé publique  Dynamique  Dynamique topologique  Décidabilité  Déduction naturelle  Démonstration automatique  Logiciels -- Vérification  Logique  Logique informatique  Logique intuitionniste  Logique mathématique non classique  Logique épistémique  Logiques de ressources  Logiques de séparation  Logiques hybrides  Modalité  Modélisation  Méthodes formelles  Systèmes experts  Sémantique  Théorie de la démonstration  Théorie de la preuve  Théorèmes -- Démonstration automatique  

Didier Galmiche dirige actuellement les 2 thèses suivantes :

Logiques de ressources non agrégatives : modèles et calculs.

par Benjamin Izart sous la direction de Didier Galmiche - Université de Lorraine

Informatique

En préparation depuis le 21-11-2022

Sémantique, Preuves et Réfutations en Logiques de Ressources.

par Brandon Hornbeck sous la direction de Didier Galmiche - Université de Lorraine

Informatique

En préparation depuis le 08-10-2021

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

Extensions modales des logiques de ressources : expressivité et calculs

par Pierre Kimmel sous la direction de Didier Galmiche et de Dominique Larchey-Wendling . - Université de Lorraine

Informatique

Soutenue le 06-12-2018

Logiques de ressources dynamiques : modèles, propriétés et preuves

par Jean-René Courtault sous la direction de Didier Galmiche - Université de Lorraine

Informatique

Soutenue le 15-04-2015

Structures multi-contextuelles et logiques modales intuititionnistes et hybrides

par Yakoub Salhi sous la direction de Didier Galmiche - Nancy 1

Informatique

Soutenue le 03-12-2010

Logiques spatiales de ressources, modèles d'arbres et applications

par Nicolas Biri sous la direction de Didier Galmiche - Nancy 1

Informatique

Soutenue en 2005

Preuves et sémantiques dans des logiques de ressources

par Daniel Méry sous la direction de Didier Galmiche - Nancy 1

Informatique

Soutenue en 2004

Recherche et construction de preuves en logique non-commutative

par Jean-Marc Notin sous la direction de Didier Galmiche - Nancy 1

Informatique

Soutenue en 2004

Preuves, réfutations et contre-modèles dans des logiques intuitionnistes

par Dominique Larchey-Wendling sous la direction de Didier Galmiche - Nancy 1

Sciences et techniques

Soutenue en 2000

Mécanisation de la recherche de preuves et de programmes en arithmétique fonctionnelle du second ordre

par Odile Hermann sous la direction de Didier Galmiche - Nancy 1

Informatique

Soutenue en 1995

De la construction de preuves à la programmation parallèle en logique linéaire

par Guy Perrier sous la direction de Didier Galmiche - Nancy 1

Informatique

Soutenue en 1995

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

Non-normal modal logics : neighbourhood semantics and their calculi

par Tiziano Dalmonte sous la direction de Nicola Olivetti - Aix-Marseille

Mathématiques et informatique. Informatique

Soutenue le 05-10-2020

On the proof theory of conditional logics

par Marianna Girlando sous la direction de Nicola Olivetti et de Sara Negri . - Aix-Marseille

Informatique

Soutenue le 08-02-2019

Raisonnement automatisé pour la logique de séparation avec des définitions inductives

par Cristina Serban sous la direction de Radu Iosif - Université Grenoble Alpes (ComUE)

Informatique

Soutenue le 31-05-2018

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

Separation logic : expressiveness, complexity, temporal extension

par Rémi Brochenin sous la direction de Stéphane P. Demri - Cachan, Ecole normale supérieure

Informatique

Soutenue le 25-09-2013

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

Evidence in Epistemic Logic : A Topological Perspective

par Aybüke Özgün sous la direction de Hans van Ditmarsch et de Sonja Smets . - Université de Lorraine

Informatique

Soutenue le 04-10-2017

Synthèse de vues pour l’initialisation de pose

par Pierre Rolin sous la direction de Marie-Odile Berger et de Frédéric Sur . - Université de Lorraine

Informatique

Soutenue le 08-03-2017

Fonction thêta et applications à la cryptographie

par Damien Robert sous la direction de Guillaume Hanrot - Nancy 1

Informatique

Soutenue le 21-07-2010