Algorithmes  Analyse automatique  Analyse et génération de langage  Apprentissage automatique  Arbre de pile  Arbres  Arbres à deux racines  Automates  Automates de tuiles  Automates mathématiques, Théorie des  Automates à pile de piles fortement déterministes  Clustering  Cryptographie  Datalog  Décidabilité  Décidabilité  Grammaire catégorielle  Grammaires AB  Grammaires catégorielles abstraites  Graphes infini  Graphes, Théorie des  Grilles informatiques  Groupes d'automorphismes  Informatique  Inférence grammaticale  Lambda-calcul  Langage de traces  Langages  Langages de tuiles  Langages formels  Linguistique -- Informatique  Linguistique formelle  Linguistique informatique  Logique  Model-Checking  Réécriture, Systèmes de  

Géraud Senizergues a rédigé la thèse suivante :

Sur la description des langages algebriques deterministes par des systemes de reecriture confluents

par Géraud Senizergues sous la direction de Jean-Michel Autebert - Paris 7

cSciences appliquées

Soutenue en 1987

Géraud Senizergues a dirigé les 3 thèses suivantes :

Etude de la stratégie de réécriture de termes k-bornée

par Marc Sylvestre sous la direction de Irène Durand et de Géraud Senizergues . - Bordeaux

Informatique

Soutenue le 01-10-2014

Etude des graphes planaires cofinis selon leurs groupes de symétries

par David Renault sous la direction de Géraud Senizergues et de Philippe Narbel . - Bordeaux 1

Informatique et mathématiques

Soutenue en 2004

Etude algorithmique de complexes simpliciaux infinis

par Olivier Ly sous la direction de Géraud Senizergues - Bordeaux 1

Informatique

Soutenue en 2000

Géraud Senizergues a été président de jury des 3 thèses suivantes :

Contribution à la théorie des langages de tuiles

par Etienne Dubourg sous la direction de David Janin - Bordeaux

Informatique

Soutenue le 12-07-2016

Mise au point d'un formalisme syntaxique de haut niveau pour le traitement automatique des langues

par Jerome Kirman sous la direction de Bruno Courcelle , Lionel Clément et de Sylvain Salvati . - Bordeaux

Informatique

Soutenue le 04-12-2015

Jeux de typage et analyse de lambda-grammaires non-contextuelles

par Pierre Bourreau sous la direction de Sylvain Salvati et de Christian Retoré . - Bordeaux 1

Informatique

Soutenue le 29-06-2012

Géraud Senizergues a été rapporteur de la thèse suivante :

Réécriture d’arbres de piles et traces de systèmes à compteurs

par Vincent Penelle sous la direction de Didier Caucal - Paris Est

Informatique

Soutenue le 20-11-2015

Géraud Senizergues a été membre de jury des 3 thèses suivantes :

Analyse automatique de propriétés d’équivalence pour les protocoles cryptographiques

par Rémy Chretien sous la direction de Stéphanie Delaune - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 11-01-2016

Régularité et contraintes de descendance : équations algébriques.

par Julien Ferte sous la direction de Denis Lugiez et de Clara Bertolissi . - Aix-Marseille

Informatique

Soutenue le 18-04-2014

Apprentissage de grammaires catégorielles : transducteurs d’arbres et clustering pour induction de grammaires catégorielles

par Noémie Fleur Sandillon Rezer sous la direction de Christian Retoré et de Richard Moot . - Bordeaux 1

Informatique

Soutenue le 09-12-2013