Anneaux de semigroupes  Automate bidirectionnel  Automate des positions  Automate universel  Automates  Automates boustrophédons  Automates circulaires  Automates finis  Automates mathématiques, Théorie des  Automates pondérés  Automates sur les mots infinis  Automates à poids  Expressions rationnelles  Génération aléatoire  Langages algébriques  Langages formels  Langages rationnels  Logiciels -- Vérification  Logique  Markov  Markov, Processus de  Mots infinis  Multiplicité  Multiplicité  Méthodes formelles  SST  Spécification quantitative  Séries de Hadamard  Séries rationnelles  Théorie algébrique des langages  Théorie de la définissabilité  Transducteur unidirectionnel et bidirectionnel  Transducteurs  Transduction  Transduction MSO  Vérification formelle  

Sylvain Lombardy a dirigé la thèse suivante :

Expressivité des automates pondérés circulaires et boustrophédons

par Louis-Marie Dando sous la direction de Sylvain Lombardy - Bordeaux

Informatique

Soutenue le 09-09-2019

Sylvain Lombardy a été président de jury de la thèse suivante :

Minimizing resources for regular word transductions

par Félix Baschenis sous la direction de Anca Muscholl - Bordeaux

Informatique

Soutenue le 05-12-2017

Sylvain Lombardy a été rapporteur des 2 thèses suivantes :

Etude d'extensions des langages déterministes

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

Informatique

Soutenue le 15-03-2019

Specification and verification of quantitative properties : expressions, logics, and automata

par Benjamin Monmege sous la direction de Paul Gastin - Cachan, Ecole normale supérieure

Informatique

Soutenue le 24-10-2013

Sylvain Lombardy a été membre de jury de la thèse suivante :

Autour des automates : génération aléatoire et contribution à quelques extensions

par Vincent Carnino sous la direction de Cyril Nicaud - Paris Est

Informatique

Soutenue le 05-12-2014