Algorithme séquentiel  Algorithmes  Analyse mathématique non standard  Analyse nonstandard  Analyse numérique  Analyse réelle  Anti-unification  Arithmétique linéaire entière  Arithmétique réelle  Asm  Assistant de preuve  Auto-modification  Automates cellulaires  Automatisation  Calcul des séquents  Calculabilité  Causalité  Compilation  Complexité implicite  Complétude  Coq  Delta complexes  Déduction modulo  Elimination des coupures  Enar  Enseignement  Filtering  Fonctions calculables  Graphes  Graphes, Théorie des  Géométrie Discrète  Géométrie discrète  Induction structurelle  Information, Théorie de l'  Informatique quantique  Interopérabilité  Intrication quantique  Isomorphisme de Curry-Howard  Lambda calcul  Lambda-calcul  Langage impératif  Langages de programmation -- Sémantique  Langages de programmation orientés objet  Logiciels -- Vérification  Logique  Logique informatique  Logique linéaire  Logique mathématique non classique  Mathématiques -- Philosophie  Mathématiques Constructives  Mathématiques constructives  Model Checking  Modèles booléens  Modèles de Kripke  Méthodes formelles  Nombres réels  Obfuscation  Objets  Odyssée  Preuve formelle  Preuves formelles  Propriétés non-locales des états symétriques  Prédicat  Représentation de Majorana  Règles de réécriture  Réflexion  Résolution Modulo  Réversibilité  Réécriture  Réécriture, Systèmes de  Simulation  Simulation, Méthodes de  Skolem  Skolémisation  Superposition  Symétrie  Système embarqué  Systèmes de preuve  Systèmes informatiques -- Mise en oeuvre  Sémantique  Sémantique des langages  Théorie des types  Théorème des 3 intervalles  Théorèmes -- Démonstration automatique  Transformation certifiante  Transformation de programmes  Types dépendants  Universalité intrinsèque  Virologie  Virus informatiques  élimination de quantificateurs  

Gilles Dowek a rédigé la thèse suivante :

Sciences et techniques communes
Soutenue en 1991
Thèse soutenue


Gilles Dowek a dirigé les 7 thèses suivantes :

Mathématiques. Logique et fondements de l'informatique
Soutenue en 2015
Thèse soutenue

Informatique. Programmation
Soutenue en 2005
Thèse soutenue


Gilles Dowek a été rapporteur des 4 thèses suivantes :

Informatique
Soutenue le 06-10-2017
Thèse soutenue

Gilles Dowek a été membre de jury des 3 thèses suivantes :

Informatique
Soutenue le 24-10-2008
Thèse soutenue