Curriculum Vitæ

A 2-page version of my CV (in French) is available here.

Education (2002-2009)

2006-2009

Ph.D. in Control Theory and Computer Science, University of Nantes

Dissertation title: EFFBDs Verification: Model checking in Systems Engineering
Industrial partner: Sodius
Research lab/team: IRCCyN/Real Time Systems
Defended: november 3^rd, 2009 at the École Centrale of Nantes

Dissertation committee:

Advisor:	Olivier (H.) Roux	Associate professor, University of Nantes (IRCCyN)
Chair:	Charles André	Professor, University of Nice Sophia Antipolis (I3S)
Rapporteurs:	Fabrice Kordon	Professor, P. & M. Curie University (LIP6)
	François Vernadat	Professor, INSA Toulouse (LAAS)
Examiners:	Jean-Philippe Lerat	Sodius C.E.O.
	Éric Niel	Professor, INSA Lyon (Ampère)
Invited member:	Jean-Luc Wippler	Systems Engineer, C-S

2005-2006

M.Sc. in Control Theory and Production Systems, École Centrale of Nantes

Specialization in Production Systems and Embedded Computer Science
Graduated october 2006 Summa cum laude

2002-2005

Engineer, École Centrale of Nantes

Majoring in Control Theory, specialization in Embedded Systems
Graduated november 2005 Summa cum laude

Teaching Experience

See the Teaching menu

Publications

See the Publications menu

Skills - Languages

French:	native tongue
English:	fluent First Certificate in English (FCE, Cambridge), grade A - 2003 TOEIC, 950/990 - 2005
German:	good working knowledge Zentrale Mittelstufenprüfung (Goetheinstitut), gut - 2003

Skills - IT

Programming languages:	Java, C/C++; basics of Tcl/Tk
Word processing:	Microsoft Office, LaTeX, Beamer
Other applications:	Matlab/Simulink, Eclipse
Misc.:	CVS, Subversion

Charlotte Seidner