PiCoq
People
Menu
Home
People
Papers
Stages
People
The project involves the following people.
Sardes
(
LIG
,
INRIA
Rhône-Alpes, Grenoble)
Thomas Braibant
,
Damien Pous
,
Jean-Bernard Stefani
,
Alan Schmitt
(now at INRIA Rennes, in the Celtique team).
Plume
(
LIP
,
ENS Lyon
)
Daniel Hirschkoff
,
Romain Demangeon
.
LIMD
(
LAMA
,
university of Savoy
, Chambéry)
Florian Hatat
,
Tom Hirschowitz
.