Damien Pous


Version française

Personal Data

eMail : Damien dot Pous at inria dot fr
Office : (+33) 4 76 61 52 95    
B111,
INRIA Rhône-Alpes,
655, avenue de l'Europe, Montbonnot
38334 Saint Ismier
Home : (+33)9 53 27 49 82    
8 rue René Thomas
38000 Grenoble



Situation

Researcher at the CNRS, in the SARDES project (LIG/INRIA). I am supervising the PhD of Thomas Braibant: we develop Coq tools that should make it possible, at some point, to study and certify distributed systems. We released a reflexive tactic for deciding Kleene algebras; the current state of the corresponding library (ATBR) can be found there. we pursue this work by implementing other tools (rewriting modulo AC, other decision procedures).

I also recently played with linear logic, thanks to the CHoCo band members.

I did a post-doc at UPenn, with Benjamin C. Pierce and Aaron Bohannon.

I did my PhD under the supervision of Daniel Hirschkoff, in the Plume team. Here is my dissertation (in french). It deals with up-to techniques for bisimulations in the context of distributed and mobile langages (CCS, pi, kells, join...),


Publications (dblp, .bib)

Book chapter

In journals

For conferences

For workshops

PhD Thesis


Computer related stuff

Formal proofs (COQ)

Distributed Abstract Machines (OCaml)


Teaching


Personal Page

Antoine Venaille