Algorithmes distribués  Algorithmes parallèles  Algorithmique  Algèbre linéaire  Analyse combinatoire  Analyse d'algorithmes  Appel-par-pousse-valeur  Assistants de preuve  Automates mathématiques, Théorie des  Bicatégories  Bisimulation  Bisimulation applicative  CPM  Calcul des hypersequents  Calcul des séquents  Calcul graphique  Coalgèbre  Cohérence  Coinduction  Combinatoire analytique  Complexité de calcul  Complétude  Complétude, Théorème de  Computations probabilistes d'ordre supérieur  Concurrence  Coq  Coq  Distances entre programmes  Distributeurs  Distributions, Théorie des  Distributivité  Développement de Taylor  Espace compact Hausdorff  Espaces cohérents probabilistes  Espaces de Riesz  Espaces vectoriels  Finitisation  Formes normales  Formes normales  Fraîcheur  Grand-Pas  Graphes d'intersections, Théorie des  Graphes dirigés sans cycles  Génération aléatoire uniforme  Hausdorff, Compactifications de  Induction  Informatique quantique  Interprétation certifiée  Lambda-Calcul  Lambda-calcul  Langages de programmation -- Sémantique  Langages de programmation fonctionnelle  Logique Modale  Logique de seuil  Logique de séparation  Logique linéaire  Logique linéaire différentielle  Logique mathématique  Logique monadique du second ordre  L’encodage des références  Machines abstraites  Modalité  Monade  MuMALL  Mécanique quantique catégorique  Méthode PERT  Opérades  Orthogonalité  PSPACE-Complet  Parallélisme  Petit-Pas  Point fixe, Théorème du  Preuve  Preuves circulaires  Preuves non bien-Fondées  Probabilités  Programmation  Programmation Quantique  Programmation concurrente  Programmation fonctionnelle  Programmation impérative  Programmation parallèle  Recherche de preuves  Riesz, Espaces de  Réseaux de preuve  Sémantique  Sémantique Dénotationnelle  Sémantique catégorique  Sémantique des Jeux  Sémantique dénotationnelle  Sémantique opérationnelle  Sémantique selon la théorie des jeux  Sémantiques opérationnelles  Sémantiques squelettiques  Taylor, Séries de  Théorie de la démonstration  Théorie de la preuve  Théorie des Catégories  Théorie des catégories  Théorie des graphes  Théorie quantique  Topologie  Topos  Traitement réparti  Types intersections  Universalité  ZX-Calculus  Zéro-copie  

Christine Tasson a rédigé la thèse suivante :


Christine Tasson a dirigé les 3 thèses suivantes :

Mathématiques. Logique et fondements de l'informatique
Soutenue le 27-09-2021
Thèse soutenue

Mathématiques. Logique et fondements de l'informatique
Soutenue le 06-12-2019
Thèse soutenue

Christine Tasson a été président de jury des 3 thèses suivantes :

Informatique
Soutenue le 16-09-2022
Thèse soutenue

Christine Tasson a été rapporteur des 3 thèses suivantes :

Informatique
Soutenue le 19-10-2022
Thèse soutenue
Informatique
Soutenue le 28-09-2020
Thèse soutenue

Christine Tasson a été membre de jury des 7 thèses suivantes :

Informatique. Informatique fondamentale
Soutenue le 25-09-2018
Thèse soutenue
Informatique
Soutenue le 12-12-2017
Thèse soutenue
Informatique
Soutenue le 08-12-2017
Thèse soutenue