English version

	Claude Jard Professeur à l'ENS-Cachan ENS-Cachan/Bretagne, Campus de Ker-Lann F-35170 BRUZ Cedex, France Chercheur à l'IRISA, co-responsable de l'équipe Distribcom IRISA - CNRS - INRIA - ENS Cachan 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 (secrétariat ENS) +33 (0) 2 99 84 71 93 (direct Irisa)  +33 (0) 2 99 84 72 28 (secrétariat Irisa)  +33 (0) 2 99 84 71 00 (standard Irisa)
fax	+33 (0) 2 99 84 71 71
e-mail	Claude.Jard@bretagne.ens-cachan.fr Claude.Jard@irisa.fr
home page	Enseignement : http://w3.bretagne.ens-cachan.fr/DIT/People/Claude.Jard/ Recherche : http://www.irisa.fr/distribcom/Personal_Pages/jard/accueil.html

 

Court CV

Thèmes de recherche

Publications

Court CV

Titre et diplômes

• Depuis septembre 2002, professeur dans le département Informatique et Télécommunications de l'ENS de Cachan. Je suis actuellement professeur des universités de classe exceptionnelle et titulaire de la prime d'excellence scientifique.
• Directeur du Collège de Recherche Hubert Curien, institut pluridisciplinaire rassemblant la recherche conduite sur le campus de Bretagne de l'ENS de Cachan (environ 80 chercheurs). Chargé du suivi de la recherche de l'antenne de Bretagne de l'ENS Cachan.
• Co-directeur de l'équipe-projet INRIA Distribcom (modèles et algorithmes pour la supervision des réseaux de télécommunication).

Auparavant :

• 1997-2003 : Directeur de Recherche au CNRS, responsable de l'équipe PAMPA (modèles et outils pour la programmation des architectures parallèles réparties) à l'IRISA puis membre de l'équipe de direction de l'IRISA.
• 1987-1997 : Chargé de Recherche au CNRS, membre de l'équipe ADP (Algorithmes Distribués et Protocoles), puis de l'équipe PAMPA (Programmation des Architectures Massivement PArallèles) à l'IRISA.
• 1994 : Habilitation à diriger les recherches. Titre : Contribution à la vérification dynamique des protocoles Jury : J.P. Banâtre (président), Gv. Bochmann, JM. Pitié, J. Sifakis (rapporteurs), F. André, M. Raynal et J.P. Verjus.
• 1986-1987 : enseignant associé à l'université de Rennes I.
• 1980-1985 : Ingénieur au Centre National d'Etudes des Télécommunications (CNET) à Lannion, membre de l'équipe Evaluation et Validation de Protocoles. En 1981, j'ai passé une petite année dans l'équipe de Gv. Bochmann à l'université de Montréal comme chercheur invité.
• 1984 : Thèse de Docteur-Ingénieur de l'université de Rennes1. Titre : Protocoles et Services - le test des spécifications. Jury : J.P. Verjus (président), P. Azéma, M. Raynal (rapporteurs), J.P. Ansart, Gv. Bochmann et J.M. Pitié.
• 1981 : Ingénieur des Télécommunications.
• 1978-1981 : Elève ingénieur civil de l'Ecole Nationale Supérieure des Télécommunications de Bretagne (Brest).
• 1976-1978 : Mathématiques Supérieures et Spéciales au lycée Saint Louis, Paris.

Expérience professionnelle :

• Ingénieur dans le centre de recherche en télécommunications de Lannion, développement d'une équipe dans le domaine de la validation des protocoles.
• Chercheur au CNRS à l'Irisa à Rennes, développement d'une équipe dans le domaine du génie logiciel pour les systèmes distribués. Membre de l'équipe de direction de l'IRISA.
• Professeur à l'ENS Cachan.
• Directeur d'un institut interne de recherche multi-disciplinaire et chargé de la recherche à l'antenne de Bretagne de l'ENS Cachan;

Travaux

Résultats : je suis l'auteur ou co-auteur de plus de 150 publications, dont 25 dans des revues internationales, 8 dans des revues nationales, 118 dans des colloques internationaux et nationaux (29 comme conférencier invité). J’ai co-édité 15 ouvrages. Ces publications se sont effectuées essentiellement au sein de trois communautés de recherche : l'informatique théorique, l'ingénierie des protocoles, et les systèmes répartis. J'ai participé à la conception et la réalisation de trois gros logiciels : le premier (Veda) a été pendant 10 ans au catalogue d'un industriel (Telelogic); le second a été diffusé largement dans le milieu académique et a été évalué dans plusieurs sites industriels (Echidna), le troisième (TGV) a été  transféré à la société Telelogic il y a 7 ans.
Back to  top

---

Thèmes de recherche

• Ingénierie des protocoles

• Techniques de description formelle : participation au développement de langages normalisés pour décrire les protocoles, comme ESTELLE, LOTOS, SDL et plus récemment HMSC et UML.
• Simulation et "model-checking" : développement d'une technique à base d'observateurs pour vérifier des propriétés pendant la simulation. Développement de nouveaux algorithmes en ligne pour le "model-checking au vol", fondés sur un parcours exhaustif de l'espace d'état de la spécification.
• Synthèse de tests : extension des algorithmes de model-checking pour générer au vol des graphes de test pour le test de conformité.

• Systèmes répartis

• Algorithmes répartis : consensus réparti..
• Observation répartie et suivi de comportements : "trace-checking", estampillage causal, detection au vol de propriétés instables.

 
• Génie logiciel et informatique théorique

• Nouveaux modèles sémantiques du parallélisme : aspects sémantiques d'UML, développement de BDL, automates d'ordres, dioide Max,+), sémantique des  "High-level Message Sequence Charts".
• Résultats de décidabilité : test du caractère borné de files de communication FIFO, logique temporelle.
• Dépliages de Réseaux de Petri : préfixes finis symboliques et temporisés.
  

• Télécommunications

• Diagnostic de pannes dans les réseaux : développement de techniques réparties de filtrage et de diagnostic des alarmes dans les réseaux de télécommunications (SDH/WDM/IP).
• Web services : description d'orchestrations, évaluation de la QoS.