Olivier Roux Professor of Computer Science
	Address IRCCyN École Centrale de Nantes 1 rue de la Noë - B.P. 92101 44321 Nantes Cedex 3, France Phone: +33 240 37 69 79 Fax: +33 240 37 69 30 Email: Olivier.Roux(at)irccyn.ec-nantes.fr Office location : S.519 Not to be confused with Olivier (H.) Roux (also member of IRCCyN)

Research interest

• Embedded, reactive, real-time computer systems,
• Model-checking,
• Bioinformatics.

Teaching

• Algorithmics and Programming (C)
• Object-oriented Programming (Java)
• Compiling
• Parallel and Distributed Systems: PASYR

Other activities

• Head of the MOVES group at IRCCyN.
• Chargé de mission at the French Research Minstry.
• Former member (1995-2000) of the Institut Universitaire de France (IUF).

Publications

Proposals

Former and current PhD students

• Franck Cassez (mar. 1993) Full-Time Researcher, CNRS / IRCCyN Nantes.
• Martin Richard (feb. 1994) Assistant Professor, Ecole des Mines de Nantes.
• Vlad Rusu (jan. 1996) Full-Time Researcher, INRIA / IRISA Rennes.
• Pablo Argon (dec. 1998).
• Patrice Boisieau (oct. 1999).
• Frédéric Herbreteau (dec. 2001) Assistant Professor, ENSEIRB / LaBRI, Bordeaux.
• Michaël Adélaïde (oct. 2003).
• Armelle Prigent (dec. 2003) Assistant Professor, Université de La Rochelle / L3I.
• Claire Pagetti (apr. 2004) CERT / ONERA, Toulouse.
• Guillaume Gardey (dec. 2005) .
• Jamil Ahmad (feb. 2009) Post doc, Konstanz Univ.
• Jonathan Fromentin (nov. 2009) ATER Univ. Bordeaux 2.
• Mylène Maurin
• Loïc Paulevé
• Théo Merle