Damien Pous a rédigé la thèse suivante :


Damien Pous dirige actuellement la thèse suivante :

Automata algorithms based on coinduction methods

par Laureline Pinault sous la direction de Damien Pous - Lyon

Informatique
En préparation depuis le 01-09-2017
Thèse en préparation


Damien Pous a dirigé les 2 thèses suivantes :

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

Damien Pous a été membre de jury de la thèse suivante :

Mathématiques et informatique
Soutenue le 09-12-2015
Thèse soutenue