Algorithmes  Algèbre  Algèbre de Frobenius  Algèbre de Hopf  Algèbre linéaire  Analyse affine  Analyse statique  Arithmétique de Peano  Axiomatisation de Kozen  Axiome du choix  Bar-récursion  Bioinformatique  Biologie des systèmes  Bisimulations  Calcul différentiel  Calcul symétrique  Calculs de processus, équivalence  Catégorie  Catégories  Catégories monoidales  Classe et objet  Cohérence  Cohérence  Compilateurs  Composition non associative  Concurrence  Concurrency theory  Cube  Diagrammes de cordes  Equivalence contextuelle  Exponentielles  Factorisation  Filtrage de motifs  Foncteurs polynomiaux  Forcing  Frobenius, Algèbres de  Graphe de flots de signaux  Hopf, Algèbres de  Héritage  Induction  Informatique -- Mathématiques  Isomorphisme de Curry-Howard  Isomorphismes  Join calcul  Lambda - wsn - calcul  Lambda-calcul  Lambda-calculus  Lambda-mu calcul  Langage de programmation  Langage fonctionnel  Langages de programmation -- Syntaxe  Langages de programmation -- Sémantique  Langages de programmation  Langages de programmation fonctionnelle  Langages de programmation logique  Logique classique  Logique de seuil  Logique linéaire  Logique mathématique  Logique temporelle  Logiques sous-structurelles  Loi distributive  Ludique  Machine abstraite  Mode de transfert asynchrone  Modèles mémoires faibles  Mu-calcul  Normalisation forte  Omega-automates  Opérateurs de contrôle délimités  PROP  Petri, Réseaux de  Pi-calcul  Polarisation  Preuves circulaire et infinitaires  Probabiliste  Process calculi  Programmation  Programmation parallèle  Préfaisceaux  Relation logique  Réalisabilité  Région Cubique  Réseaux de preuve  Réécriture, Systèmes de  Structures d’évènements  Systèmes de réécriture  Systèmes de types  Sémantique  Sémantique des jeux  Sémantique des jeux de Hyland et Ong  Sémantique dénotationnelle  Sémantique selon la théorie des jeux  Séquentialisation  Taylor, Séries de  Théorie de la concurrence  Théorie de la démonstration  Théorie des catégories  Théorie des types  Théorie du contrôle  Traitement d'exceptions  Élimination des coupures  

Pierre-Louis Curien a dirigé les 20 thèses suivantes :

Informatique. Informatique fondamentale
Soutenue le 27-06-2017
Thèse soutenue

Informatique
Soutenue en 2013
Thèse soutenue

Programmation. Sémantique, preuves et langages
Soutenue en 2005
Thèse soutenue
Informatique
Soutenue en 2004
Thèse soutenue
Sciences appliquées
Soutenue en 1996
Thèse soutenue

Sciences appliquées
Soutenue en 1993
Thèse soutenue

Sciences appliquées
Soutenue en 1992
Thèse soutenue


Pierre-Louis Curien a été président de jury des 6 thèses suivantes :

Informatique
Soutenue le 13-07-2017
Thèse soutenue

Informatique et applications
Soutenue le 11-07-2014
Thèse soutenue
Mathématiques et Informatique
Soutenue le 23-10-2013
Thèse soutenue

Pierre-Louis Curien a été rapporteur de la thèse suivante :