né le 16 juin 1953 à LILLE

marié, un enfant

TITRES :

	Baccalauréat C , mention AB, juin 1970
	Licence de Mathématiques à l'Université de LILLE I, juin 1974 (Mentions TB, B, B, AB)
	Maîtrise de Mathématiques à l'Université de LILLE I, juin 1975 (Mentions AB, AB, P)
	Licence d'Informatique à l'Université de LILLE I, juin 1983 (Mention AB)
	Maîtrise d'Informatique à l'Université de LILLE I, juin 1984 (Mention AB)
	DEA d'Informatique à l'Université de LILLE I, juin 1986 (Mention B)
	Thèse en Informatique à l'Université de LILLE I, décembre 1990 (Mention Très Honorable)

Titre : « Contrôles et preuves dans les systèmes clos, automates à piles d'arbres et calcul de formes normales»
                      Composition du Jury :  J. Berstel (rapporteur),
                                                                  H. Comon,
                                                                  M. Dauchet (directeur de thèse),
                                                                  H. Kirchner (rapporteur),
                                                                  M. Latteux
                                                                  M. Nivat (président)
                                                                  S. Tison
 

Diplômes - Qualifications

	Capes de Mathématiques, juin 1977
	Bi-admissibilité Agrégation externe de Mathématiques, juillet 1989

Activités professionnelles :

	Professeur de Mathématiques au Collège David Marcelle de Billy-Montigny de septembre 1977 à novembre 1988
	ATER (attaché temporaire d'enseignement) à l'Université de LILLE I de novembre 1988 à septembre 1991
	Maître de Conférences à l'IUFM de VILLENEUVE D'ASCQ de septembre 1991 à août 1993
	Maître de Conférences à l'IUT de LENS, Université d'Artois de septembre 1993 à août 2001
	Maître de Conférences à la faculté Jean Perrin, Université d'Artois  depuis septembre 2001