Algebra  Algèbre de Kleene  Algèbre de relations  Algèbres commutatives  Assistants de preuve  Automate d'arbres  Automates  Automates de Mealy  Automates et transducteurs  Automates mathématiques, Théorie des  Automorphismes des groupes libres  Burnside, Problème de  Catégories  Classification de Nielsen-Thurston des homéomomorphismes de surface  Combinatoire algébrique  Croissance polynomiale  Décidabilité  Expressions régulières  Grammaires de graphes  Graphes de groupes  Graphes, Théorie des  Groupes d'automorphismes  Groupes de permutations  Groupes de permutations oligomorphes  Groupes libres  Groupes simples finis  Groupes, Théorie géométrique des  Génération aléatoire  Homéomorphismes  Informatique fondamentale  Informatique théorique  Jeu de parité  Jeu distribué  Langages algébriques  Langages de programmation -- Sémantique  Langages formels  Langages localement testables  Langages localement testables à seuil  Langages non-ambigus  Langages rationnels  Langages réguliers  Langages testables par morceaux  Logique  Logiques  Machines séquentielles, Théorie des  Monoïdes  Preuve assistée par ordinateur  Problèmes de décision  Profils  Pullback  Semigroupes  Synthèse de programmes  Système distribué  Systèmes de blocs d’imprimitivité  Systèmes à paramètres répartis  Sémantique des programmes  Séparation  Séparation  Théorie de Bass-Serre  Théorie des automates  Théorie des invariants  Théorie des jeux  Transduction  Transformations  Twists de Dehn  Vérification de programmes  

Pascal Weil dirige actuellement la thèse suivante :

Informatique
En préparation depuis le 26-09-2018
Thèse en préparation


Pascal Weil a dirigé les 6 thèses suivantes :

Informatique et mathématiques
Soutenue en 2007
Thèse soutenue

Informatique et mathématiques
Soutenue en 2006
Thèse soutenue

Sciences et techniques communes
Soutenue en 1999
Thèse soutenue

Sciences et techniques
Soutenue en 1998
Thèse soutenue

Groupes libres, automates et commutation

par FLAVIO D'ALESSANDRO sous la direction de Pascal Weil - Paris 7

Sciences appliquées
Soutenue en 1997
Thèse soutenue


Pascal Weil a été rapporteur des 3 thèses suivantes :

Informatique
Soutenue le 04-10-2016
Thèse soutenue

Pascal Weil a été membre de jury des 2 thèses suivantes :