|Contact||+33 (0) 2 51 12 58 56 (direct)
+33 (0) 2 51 12 58 69 (secrétariat)
Back to top
Title and Degrees
- Since September 2012, full professor ("exceptional class") in the computer science department of the faculty of the University of Nantes.
- Head of the joint lab UMR 6004 CNRS LS2N
- Deputy director of labex CominLabs
- 2002-2012: Professor at the Ecole Normale Supérieure de Cachan in the department Computer Science and Telecommunications. Director of the Hubert Curien multidisciplinary research institute on the brittany campus of the ENS Cachan. Vice-head of the INRIA project-team Distribcom (models and algorithms for monitoring of telecommunication networks).
- 1997-2003: Director of Research at CNRS, Team Leader of the PAMPA (models and tools for programming parallel and distributed architectures) research group at IRISA and member of the management team of IRISA.
- 1987-1997: Researcher at CNRS. Member of the ADP (Distributed Algorithms and Protocols) research group, then PAMPA (Programming massively parallel architectures) at IRISA.
- 1994: Habilitation to supervise research.
Title: Contribution to the dynamic verification protocols.
Jury: J.P. Banâtre (Chair), Gv. Bochmann, JM. Pitié, J. Sifakis (rapporteurs), F. André, M. Raynal and J.P. Verjus.
- 1980-1985: Research engineer at the National Center for Telecommunications (CNET) in Lannion, Member of the Evaluation and Validation of Protocols group. In 1981, I spent one year in Gv. Bochmann's group at the University of Montreal as a visiting scholar.
- 1984: PhD, University of Rennes 1.
Title: Protocols and Services - testing specifications.
Jury: J.P. Verjus (Chairman), P. Azéma, M. Raynal (rapporteurs), J.P. Ansart, Gv. Bochmann and J.M. Pitié.
- 1981: Engineer in Telecommunications.
- 1978-1981: Student of the "Ecole Nationale Superieure des Telecommunications de Bretagne" (Brest).
- 1976-1978: Mathematics in "Saint Louis" High School in Paris.
Research worksMy research focuses on the analysis of asynchronous parallel systems. They fit into the general framework of the use of formal methods for programming parallel and distributed architectures, and relate the steps of specification, verification and testing/monitoring of distributed software. The central theme of my work is the study of methods of dynamic analysis, in which the calculation is performed during execution - abstract, simulated or actual - to analyze the program. I am currently mobilized rather on the analysis of quality of service (QoS) using models to explain causality, time and other non-functional aspects. I am also interested in parameterized models and distributed algorithms in weak memory environment.
Results: I am the author or co-author of over 150 publications, mainly conducted in three research communities: theoretical computer science, protocol engineering and distributed systems. I participated in the design and implementation of three major softwares: the first (Veda) was solded during 10 years (Telelogic), the second was widely distributed in academia and has been evaluated in several industrial sites (Echidna), the third (TGV) was transferred to the company Telelogic. I supervised (or co-supervised) 22 doctoral theses (currently 2). I teach on the topics of algorithms, formal languages, engineering protocols and networks.
- Formal description techniques : participation to the development of standardized specification languages for protocols, like ESTELLE, LOTOS, SDL and recently HMSC and UML.
- Simulation and model-checking : development of an observer technique to check properties during simulation. Development of new on-line algorithms for the so-called on-the-fly model-checking, based on an exhaustive traversal of the state space of the specification.
- Test synthesis : extension of model-checking algorithms to generate on-the-fly test graphs for conformance testing.
- Distributed algorithms : distributed consensus. Computing in weak memory models.
- Distributed observation and monitoring : trace-checking, time-stamps, on-line detection of unstable properties.
- Software engineering and theoretical computer science
- New semantic models : semantical aspect of UML, development of BDL, partial order automata, (Max,+) dioide, semantics of High-level Message Sequence Charts, causal semantics for ORC.
- Decidability results : testing unboundedness of FIFO queues, temporal logic.
- Petri nets unfoldings : symbolic and timed finite prefixes.
Back to top
- Diagnosis of alarms in network management : development of model-based techniques for the distributed filtering and diagnosis of alarms in telecommunication networks (SDH/WDM,IP).
- Web services : orchestrations, QoS evaluation.
Last update: May 2017