Sébastien Faucou

Ph.D. - Assistant Professor in Computer Science

Adress:	IRCCyN
	1 rue de la Noë - B.P. 92101
	F-44321 NANTES Cedex 3
	FRANCE
Phone:	+33 2 40 37 69 77
Fax:	+33 2 40 37 69 30
E-mail:	sebastien.faucou--at--no-spam--irccyn.ec-nantes.fr

Short Vitae

Since 2004:	Assistant professor (maitre de conferences) in computer science at the University of Nantes (IUT de Nantes, département INFO)
2002 - 2004:	Assistant professor (ATER) in computer science at the University of Nantes
Dec. 2002:	PhD in Control and Applied Computer Science from the University of Nantes
Dec. 2002:	Advisors: Pr. Yvon Trinquet and Dr. Anne-Marie Deplanche
Sept. 1999:	MSc (DEA) in Control and Applied Computer Science from the Ecole Centrale de Nantes
1993 - 1998:	Computer Science studies at the University of Nantes

Research

As a member of the real-time systems group of the IRCCyN, I'm working on the design and validation of real-time systems. This includes:

Software engineering for real-time systems:
- Description by means of some domain specific modeling language (mainly AADL)
- Formal modelling and validation by means of some real-time friendly formal technique (e.g. Scheduling-Extended Time Petri nets)
- Design and analysis of time-critical automotive embedded systems.
Real-Time Operating Systems:
- Schedulability analysis-aware application design
- Development of Trampoline, an open-source implementation of the OSEK/VDX standard

You can find a list of my publications here (some of them are available as pdf files).

Teaching

I'm currently teaching at the computer science department of the IUT de Nantes (one of the technological institute of the University of Nantes). I'm in charge of the following courses:

Computer networks layer 1 and 2
C programming

I'm also involved in the real-time systems courses at the Ecole des Mines de Nantes and at the CNAM.

Sébastien Faucou

Short Vitae

Research

Teaching

Links