My personal homepage has moved to
ROSAEC Center
, in Korea.
the TypiCal project
,
INRIA-Futurs
,
INRIA
,
École polytechnique
,
LIX