Pascal Poizat / bio

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

pascal.poizat

bio

Research Institutions

Positions

Topics

News