Damien Pous

CNRS researcher, member 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    
GN1 Nord 369,
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: dblp, gg.scholar, .bib

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.

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