conf.researchr.org / Damien Pous

Registered user since Thu 23 Jun 2016

Name: Damien Pous

Affiliation: CNRS

Personal website: http://perso.ens-lyon.fr/damien.pous/

Contributions

CPP 2020Author of Completeness of an Axiomatization of Graph Isomorphism via Graph Rewriting in Coq within the CPP 2020-track
FOSSACS 2019Author of Kleene algebra with hypotheses within the FOSSACS 2019-track
POPL 2017ERC member in External Review Committee within the POPL-track
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track