Algèbre  Algèbres de Hopf  Algèbres de semigroupes  Analyse combinatoire  Analyse en moyenne  Approximation, Théorie de l'  Arbres  Automate  Automate des positions  Automates  Automates Max-plus  Automates Min-plus  Automates finis  Automates mathématiques, Théorie des  Baire, Espaces de  Bon quasi-ordre  Calcul des prédicats  Chomsky--Schützenberger  Combinatoire algébrique  Complexité de calcul  Complexité déterministe  Conjectures de Straubing  Décidabilité  Ensembles ordonnés  Epsilon-Sûr  Espaces polonais  Expressions rationnelles  Fonctions de parking  Hiérarchie de Wadge  Langages algébriques  Langages formels  Langages rationnels  Logique  Logique informatique  Monoïdes  Semigroupes  

Jean-Éric Pin a dirigé les 17 thèses suivantes :

Better-quasi-order : ideals and spaces

par Yann Pequignot sous la direction de Jean-Éric Pin et de Jacques Duparc . - Sorbonne Paris Cité

MathématiquesMathématiques

Soutenue en 2015

Méthodes algébriques pour la théorie des automates

par Luc Dartois sous la direction de Olivier Carton et de Jean-Éric Pin . - Paris 7

Informatique

Soutenue en 2014

Comportements asymptotiques des automates Max-plus et Min-plus

par Laure Daviaud sous la direction de Thomas Colcombet et de Jean-Éric Pin . - Paris 7

Informatique

Soutenue en 2014

Circuits booléens, prédicats modulaires et langages réguliers

par Charles Paperman sous la direction de Olivier Carton et de Jean-Éric Pin . - Paris 7

Informatique

Soutenue en 2014

Méthodes algébriques pour les langages formels : applications à la logique et à la dynamique symbolique

par Laura Chaubard sous la direction de Jean-Éric Pin - Paris 7

Mathématiques

Soutenue en 2007

A game theoretical approach to the algebraic counterpart of the Wagner hierarchy

par Jérémie Cabessa sous la direction de Jean-Éric Pin - Paris 7

Informatique

Soutenue en 2007

Semi-groupes ordonnés et opérations sur les langages rationnels

par Antonio Cano Gomez sous la direction de Jean-Éric Pin - Paris 7

Informatique

Soutenue en 2003

Etude du comportement en moyenne des automates finis et des langages rationnels

par Cyril Nicaud sous la direction de Jean-Éric Pin - Paris 7

Informatique

Soutenue en 2000

Le produit de concatenation et ses variantes

par MARIO JOAO JESUS BRANCO sous la direction de Jean-Éric Pin - Paris 6

Sciences appliquées

Soutenue en 1997

Evaluation partielle symbolique : une analyse semantique des programmes c en vue de leur verification

par Patrick Fontalbe sous la direction de Jean-Éric Pin - Paris 6

Informatique

Soutenue en 1996

Une approche pour la verification des systemes paralleles : application au domaine de la securite

par Dominique Bolignano sous la direction de Jean-Éric Pin - Paris 6

Sciences appliquées

Soutenue en 1995

Rangs des relations binaires et semigroupes de relations non ambigus

par VERONIQUE FROIDURE sous la direction de Jean-Éric Pin - Paris 6

Sciences appliquées

Soutenue en 1995

Opérations implicites et variétés de semi-groupes finis

par Marc Zeitoun sous la direction de Jean-Éric Pin - Paris 7

Informatique

Soutenue en 1993

Operations polynomiales sur les langages rationnels, caracterisations syntactiques et resultats de decidabilite

par MUSTAPHA ARFI sous la direction de Jean-Éric Pin - Paris 6

Sciences appliquées

Soutenue en 1990

Classes de circuits booleens et varietes de monoides

par PIERRE PELADEAU sous la direction de Jean-Éric Pin - Paris 6

Sciences appliquées

Soutenue en 1990

Etude algebrique de la logique temporelle

par JOELLE COHEN CHESNOT sous la direction de Jean-Éric Pin - Paris 6

Sciences appliquées

Soutenue en 1989

Operations de comptage sur les langages rationnels et caracterisations syntactiques

par Paul Blanchard sous la direction de Jean-Éric Pin - Paris 6

Sciences appliquées

Soutenue en 1988

Jean-Éric Pin a été président de jury des 2 thèses suivantes :

Simplifying transducers using sequentiality

par Didier Villevalois sous la direction de Pierre-Alain Reynier - Aix-Marseille

Informatique

Soutenue le 26-11-2019

Etude d'extensions des langages déterministes

par Clément Miklarz sous la direction de Pascal Caron - Normandie

Informatique

Soutenue le 15-03-2019

Jean-Éric Pin a été rapporteur de la thèse suivante :

Une approche combinatoire du problème de séparation pour les langages réguliers

par Lorijn Van Rooijen sous la direction de Marc Zeitoun - Bordeaux

Informatique

Soutenue le 04-12-2014

Jean-Éric Pin a été membre de jury des 3 thèses suivantes :

Langages ε-sûrs et caractérisations des langages d'ordres supérieurs

par El Makki Voundy sous la direction de Jean-Marc Talbot et de Séverine Fratani . - Aix-Marseille

Mathématiques et informatique

Soutenue le 15-11-2017

Théorie des représentations combinatoire de tours de monoïdes : Application à la catégorification et aux fonctions de parking

par Aladin Virmaux sous la direction de Nicolas Thiéry - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 13-06-2016

Decidable characterizations for tree logics

par Thomas Place sous la direction de Luc Segoufin - Cachan, Ecole normale supérieure

Informatique

Soutenue le 10-12-2010