Degrees

• 1993-96: PhD in Computer Science from the University of Nantes


Title: `Verifying Timed Properties of ELECTRE programs'
Defended on january 11th 1996, at Ecole Centrale de Nantes, the committee being: 

Referees:	Albert BENVENISTE,	INRIA, Rennes
	Joseph SIFAKIS,	CNRS, Grenoble
Members:	Bernard ESPIAU,	INRIA, Grenoble
	Jean-Pierre ELLOY,	Ecole Centrale Nantes
	Christine CHOPPY,	Nantes University
	Claude JARD,	CNRS, Rennes
	Olivier ROUX,	Nantes University

• 1992-93: D.E.A (Master's thesis) in Computer Science, Ecole Centrale de Nantes.
• 1990-92: Maîtrise (Bachelor degree) in Computer Science at the University of Nantes.
• 1988-90: Student in Mathematics and Computer Science at the University of Iasi in (Romania).