Version française

	Claude Jard Full Professor at the Université de Nantes Laboratoire des Sciences du Numérique de Nantes (LS2N) 2 rue de la Houssinière 44322 NANTES Cedex 3, France Teacher in the computer science department of the faculty, Head of LS2N, Deputy director of labex CominLabs,
Contact	+33 (0) 2 51 12 58 56 (direct)  Claude.Jard@univ-nantes.fr +33 (0) 2 51 12 58 69 (secrétariat)

• Brief curriculum
• Research areas
• Publications
• Teaching material (mainly in french)

---

Brief CV

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

Before:

• 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 works

My 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.

Back to top

---

Research Areas

• Protocol engineering

• 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 systems

• 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.

• Telecommunications

• 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.
  

Back to top

---

Last update: May 2017