Choco
, par
Je participais au projet choco (Curry-Howard et concurrence) qui vise notamment à étendre la correspondance de Curry-Howard (entre preuves et programmes) aux processus concurrents, de manière concrète et avec un contenu mathématique satisfaisant.
– Site du projet : http://choco.pps.jussieu.fr/
– Implication : 20% du temps recherche.