Abstraction  Algebres de Kleene  Algèbre de Kleene  Algèbre de relations  Algèbres des relations  Analyse statique  Approximations polynomiales rigoureuses  Arithmétique des ordinateurs  Assistants de preuve  Automates  Automates de Büchi  Automates mathématiques, Théorie des  Automates à plusieurs têtes  Aérospatial  Bisimulation  Calcul des hypersequents  Calcul des séquents  Calcul formel  Calcul numérique rigoureux  Certification de programmes  Circuits  Clauses de Horn  Coalgèbre  Coinduction / Techniques up-to  Coinduction  Complexité  Complexité de calcul  Coq  Datalog  Distributivité  Effets calculatoires  Equivalence de langages  Espace compact Hausdorff  Espaces de Riesz  Expressions régulières  Finitisation  Fonctions D-finies  Hausdorff, Compactifications de  Induction  Langages de programmation -- Sémantique  Langages de programmation fonctionnelle  Langages formels  Logiciels -- Vérification  Logique Modale  Logique de seuil  Logique décorée  Logique linéaire  MathComp  Mathématiques à rebours  Microordinateurs -- Programmation  Modalité  Monade  Mots transfinis  MuMALL  Méthodes symboliques-numériques  Non-déterminisme  OpenStack  PSPACE-Complet  Point fixe, Théorème du  Preuve assistée par ordinateur  Preuve formelle  Preuves assistées par ordinateur  Preuves circulaires  Preuves cycliques  Preuves de programmes  Preuves non bien-Fondées  Programmation fonctionnelle  Programmation impérative  Programmation logique  Recherche de preuves  Reecriture  Riesz, Espaces de  Récursion primitive  Réseau  Système T  Sémantique des programmes  Sémantique opérationnelle  Sémantique équationnelle  Techniques modulo  Théorie de la démonstration  Théorie de la preuve  Théorie des automates  Théorie des catégories  Topos  Validation a posteriori  Vérification  

Damien Pous a rédigé la thèse suivante :


Damien Pous dirige actuellement la thèse suivante :

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


Damien Pous a dirigé les 5 thèses suivantes :

Informatique
Soutenue le 16-09-2022
Thèse soutenue
Informatique
Soutenue le 04-10-2016
Thèse soutenue

Damien Pous a été président de jury de la thèse suivante :


Damien Pous a été rapporteur des 3 thèses suivantes :


Damien Pous a été membre de jury des 2 thèses suivantes :