Abstraction  Algebres de Kleene  Algèbre de Kleene  Algèbre de relations  Algèbres des relations  Analyse statique  Approximations polynomiales rigoureuses  Arithmétique des ordinateurs  Assistants de preuve  Automates  Automates de Büchi  Automates mathématiques, Théorie des  Automates à plusieurs têtes  Aérospatial  Bisimulation  Calcul des hypersequents  Calcul des séquents  Calcul formel  Calcul numérique rigoureux  Certification de programmes  Circuits  Clauses de Horn  Coalgèbre  Coinduction / Techniques up-to  Coinduction  Complexité  Complexité de calcul  Coq  Datalog  Distributivité  Effets calculatoires  Equivalence de langages  Espace compact Hausdorff  Langages de programmation -- Sémantique  Preuve formelle  Preuves cycliques  

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

Techniques modulo pour les bisimulations faibles

par Damien Pous sous la direction de Daniel Hirschkoff et de Pierre Lescanne . - École normale supérieure (Lyon ; 1987-2009)

Informatique

Soutenue en 2008

Damien Pous dirige actuellement la thèse suivante :

Graphes de largeur arborescente bornée : approches algébriques et catégoriques

par Samuel Humeau sous la direction de Damien Pous - Lyon, École normale supérieure

Informatique

En préparation depuis le 01-10-2022

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

Non-determinism, explorable automata and cyclic proofs

par Émile Hazard sous la direction de Damien Pous - Lyon, École normale supérieure

Informatique

Soutenue le 30-09-2022

Proof Theory of Riesz Modal Logic

par Christophe Lucas sous la direction de Damien Pous - Lyon, École normale supérieure

Informatique

Soutenue le 16-09-2022

From automata to cyclic proofs : equivalence algorithms and descriptive complexity

par Laureline Pinault sous la direction de Damien Pous - Lyon

Informatique

Soutenue le 23-07-2021

Algebras of Relations : from algorithms to formal proofs

par Paul Brunet sous la direction de Damien Pous - Lyon

Informatique

Soutenue le 04-10-2016

Algèbres de Kleene, réécriture modulo AC et circuits en coq

par Thomas Braibant sous la direction de Jean-Bernard Stefani et de Damien Pous . - Grenoble

Informatique

Soutenue le 17-02-2012

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

The Data-abstraction Framework : abstracting unbounded data-structures in Horn clauses, the case of arrays

par Julien Braine sous la direction de Laure Gonnord - Lyon

Informatique

Soutenue le 11-05-2022

Damien Pous a été rapporteur des 3 thèses suivantes :

Développement et certification en Coq/MathComp d'optimisations Datalog pour la vérification réseau

par Pierre-Léo Bégay sous la direction de Jean-François Monin et de Pierre Crégut . - Université Grenoble Alpes

Informatique

Soutenue le 23-11-2021

Circular representations of infinite proofs for fixed-points logics : expressiveness and complexity

par Rémi Nollet sous la direction de Alexis Saurin et de Christine Tasson . - Université Paris Cité

Informatique. Informatique fondamentale

Soutenue le 29-06-2021

Certified numerics in function spaces : polynomial approximations meet computer algebra and formal proof

par Florent Bréhard sous la direction de Mioara Maria Joldes et de Mioara Maria Joldes . - Lyon

Informatique

Soutenue le 12-07-2019

Damien Pous a été membre de jury des 2 thèses suivantes :

On the compositionality of monads via weak distributive laws

par Alexandre Goy sous la direction de Marc Aiguier et de Daniela Petrisan . - université Paris-Saclay

Informatique

Soutenue le 19-10-2021

Certification de programmes avec des effets calculatoires

par Burak Ekici sous la direction de Jean-Guillaume Dumas et de Dominique Duval . - Université Grenoble Alpes (ComUE)

Mathématiques et informatique

Soutenue le 09-12-2015