- Sept., 2008 - now:
researcher at LRI UMR 8623
CNRS
- Sept., 2006 - Aug., 2008:
invited researcher ("délégation") at INRIA, ARLES project-team
detailled CV
& research program for the invitation renewal (in
French)
- Sept., 2001 - Aug., 2008:
researcher at IBISC FRE
3190 CNRS
(Jan., 2008, IBISC becomes FRE 3190 CNRS)
(Jan., 2006, LaMI joins with LSC into IBISC FRE 2873 CNRS)
(Sept., 2001, position at LaMI UMR 8042 CNRS)
detailled CV &
research program for the position (in French)
- Sept., 1997 - Aug., 2001:
researcher at IRIN (now LINA UMR 6241 CNRS)
(Sept., 2000 - Aug., 2001, temporary position, "ATER")
(Sept., 1997 - Dec., 2000, PhD student)
- Sept. 2001 - now:
Associate Professor in Comp. Science (Maître de
conférences), Univ.
of Evry Val d'Essonne, France
detailled CV &
research program for the position (in French)
- Sept. 2000 - Aug. 2001:
Temporary Position (ATER) in Comp. Science, Univ. of Nantes,
France
- Sept. 1997 - Dec. 2000:
PhD in Comp. Science, Univ. of Nantes, France
defended on Dec. 18th, 2000.
Korrigan: a Formalism and a Method for the Formal and Structured
Specification of Mixed Systems (in French)
supervision: C. Choppy (Director), J.-C. Royer
- Feb. 1996 - Sept. 1997:
National Service
- Sept. 1994 - June 1995:
MSc (Research) in Comp. Science, Univ. of Nantes,
France
Application of Term Rewriting to Object Models (in French)
supervision: J.-C. Royer
