Damien Pous

CNRS researcher, member of the Plume team.

Personal Data

eMail: Damien dot Pous at ens-lyon dot fr
Office: (+33) 4 72 72 85 00   
GN1 Nord 358,
LIP, ENS Lyon
46 allee 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

Code

Formal proofs and libraries

Algorithms

Abstract Machines

Teaching

Publications (dblp, .bib)

Book chapter

In journals

For conferences

For workshops

PhD Thesis

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