Damien Pous

English version

Coordonnées

iMail : Damien dot Pous at inria dot fr
Boulot : 04 76 61 52 95    
B105,
INRIA Rhône-Alpes,
655, avenue de l'Europe, Montbonnot
38334 Saint Ismier
Dodo : 09 53 27 49 82    
8 rue René Thomas
38000 Grenoble



Situation

Chercheur en lutte au CNRS, dans le projet SARDES (LIG). Je travaille actuellement avec Thomas Braibant au développement d'outils Coq qui permettront, à long terme, d'étudier et certifier des systèmes distribués. Nous venons de terminer une tactique réflexive permettant de décider les algèbres de Kleene; nous comptons continuer dans cette direction, en implémentant d'autres procédures de décisions. L'état courant de la librairie Coq correspondante (ATBR) se trouve ici.

Avant j'ai travaillé dans l'équipe plumitive du laboratoire d'informatique de l'École Normale Supérieure de Lyon, sous la direction de Daniel Hirschkoff, j'y ai effectué une thèse sur les techniques de preuve pour la bisimulation (techniques modulo) et plus généralement sur la théorie des langages distribués et mobiles (pi, kells, join...),


Questions ouvertes


Publications (dblp, .bib)

Dans des revues

Pour des conférences

Pour des workchops

Thèse


Travaux à base d'ordinateur

Preuves assistées (COQ)

Machines abstraites distribuées (OCaml)

Divers


Enseignements


Page perso

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