Damien Pous

CNRS researcher, member of the Plume team. (LIP, ENS de Lyon, UMR 5668)

eMail: Damien dot Pous at ens-lyon dot fr
Office: (+33) 4 26 23 39 32    
GN1 Sud 337,
LIP, ENS Lyon
46 allée d'Italie
69364 Lyon
Home: (+33)9 53 27 49 82    
36 rue Chevreul
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.
(July 2017: no more postdoc/PhD opportunities until September 2018.)

Code

Formal proofs and libraries

Algorithms

Abstract Machines

Teaching

Publications (dblp, gg.scholar, .bib)

Book chapters

In journals

For conferences

For workshops

HdR Thesis

PhD Thesis

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...