Version française

You can return to IRISA or ENS-Cachan or CNRS or INRIA

	Claude Jard Full-time Professor at the ENS-Cachan ENS-Cachan/Bretagne, Campus de Ker-Lann F-35170 BRUZ Cedex, France Researcher at IRISA, vice-head of the Distribcom research group IRISA, Campus de Beaulieu F-35042 RENNES Cedex, France
phone	+33 (0) 2 99 05 52 84 (direct ENS) +33 (0) 2 99 05 93 43 (secretary ENS) +33 (0) 2 99 84 71 93 (direct IRISA) +33 (0) 2 99 84 72 28 (secretary) +33 (0) 2 99 84 71 00 (switchboard IRISA)
fax	+33 (0) 2 99 84 71 71
e-mail	Claude.Jard@bretagne.ens-cachan.fr Claude.Jard@irisa.fr
home page	Teaching (in french): http://w3.bretagne.ens-cachan.fr/DIT/People/Claude.Jard/ Research : http://www.irisa.fr/distribcom/Personal_Pages/jard/home.html

Short CV

Research areas

Publications

Short CV

Title and degrees

Since september 2002, professor in Computer Science and Telecom Faculty of the ENS Cachan. I am currently University Professor of exceptional class and holder of a bonus for scientific excellence.
Director of the Hubert Curien Research College, a multidisciplinary institute on the Brittany campus of ENS Cachan (about 80 researchers). Responsible for research on this campus.
Co-director of the INRIA project-team DISTRIBCOM (models and algorithms for monitoring telecommunications networks.

Previously :

1997-2003: Director of Research at CNRS, leader of the PAMPA team (models and tools for programming parallel distributed architectures), then member of the management board of IRISA.
1987-1997: Researcher at CNRS, member of the ADP team (Distributed Algorithms and Protocols), then member of the PAMPA team (Programming massively parallel architectures) at IRISA.
1994: French "Habilitation à diriger les recherches". Title: Contribution to the dynamic verification of protocols Jury: J.P. Banâtre (chair), Gv. Bochmann, JM. Pitié, J. Sifakis (rapporteurs), F. André, M. Raynal et J.P. Verjus.
1986-1987: associate professor at the University of Rennes 1.
1980-1985: Engineer at the "Centre National d'Etudes des Télécommunications (CNET)" in Lannion, member of the team "Evaluation and Validation de Protocols". In 1981, I spent one short yeat in the Gv. Bochmann's group at University of Montreal as visiting scholar.
1984: Doctor-Engineer Thesis, University of Rennes 1. Title : Protocols and Services - Specifications testing. Jury : J.P. Verjus (chair), P. Azéma, M. Raynal (rapporteurs), J.P. Ansart, Gv. Bochmann and J.M. Pitié.
1981: Telecommunications Engineer.
1978-1981: Student from the Ecole Nationale Supérieure des Télécommunications de Bretagne (Brest).
1976-1978: Superior and special MAthematics at the Lycee Saint Louis, Paris.

Professional Experience :

Engineer in the telecommunications research center in Lannion, creation of a team in the new field of protocol validation.
CNRS Researcher at IRISA in Rennes. Creation of a new team in the field of software engineering for distributed systems. Member of the management board of IRISA.
Professor at ENS Cachan.
Director of a multidisciplinary research institute and responsible for the research of the Brittany campus of ENS Cachan.

Research

My research works relate to the formal analysis of asynchronous parallel systems. They lie within the general scope of using formal methods for programming distributed systems, and relate to the stages of specification, verification and test of distributed software on networks of processors. The central topic of his work is the study of dynamic methods of analysis, in which computation is carried out during the execution of the - abstracted, simulated or real - program to be analysed. Smoothly, I derived from verification to testing, and now diagnosis and monitoring. The idea is to deal with more and more complex dynamical distributed systems.

Results: I am the author or joint author of more than 150 publications, including 25 in international journals, 8 in national journals, 118 in international and national conferences (29 as invited lecturer). I co-edited 15 books. They were carried out primarily within three research communities: theoretical computer science, protocol engineering, and distributed systems. I participated to the development of 3 large software tools: the first (Veda) was available during 10 years through the Verilog company; the second (Echidna) was largely broadcast in the academia and was evaluated by several industrial sites; the third (TGV) was transfered to Telelogic 7 years ago.

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

Last update: November 2010