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


Damien Pous dirige actuellement les 3 thèses suivantes :

Systèmes de preuve pour l'inclusion de langages de mots infinis

par Émile Hazard-louedec (Hazard) sous la direction de Damien Pous - Lyon

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

Proof Theory of Probabilistic Temporal Logics

par Christophe Lucas sous la direction de Damien Pous - Lyon

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

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é rapporteur de la thèse suivante :


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