Damien Pous

CNRS researcher, in charge of the Plume team. (CNRS, ENS Lyon, LIP, UMR 5668)

eMail: Damien dot Pous at ens-lyon dot fr
Office: (+33) 4 72 72 82 30    
M7 310,
LIP, ENS Lyon
46 allée d'Italie
69364 Lyon
Home:
47 rue Prof. Grignard
69007 Lyon


Keywords

Kleene algebra, automata, logic, bisimulation, pi, lambda, ccs, coalgebra, up-to techniques, Coq

Circles

CoVeCe

European Union A project funded by the ERC, about Coinduction for Verification and Certification.

Code

Formal proofs and libraries

Algorithms

Abstract Machines

Teaching

Publications: HAL, dblp, gg.scholar

Most articles are freely available from HAL, sometimes with a few additional details or proofs w.r.t. the published version. Please drop me an email if you can't find one.

Personal Page

Nouveau: pour connaître mon indice de Pous, demandez à Romain Demangeon.

Espace Bois Véranda (Barcarès, Perpignan), Chambre d'hôtes de la Croze (Bourgogne), Trad musique, etcetera...