Expérience professionnelle
- Fév.80-Sept.85 : Ingénieur-Chercheur 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é.
- Oct.85-Sept.86 : Enseignant associé à
l'université
de Rennes1.
- Oct.86-Mars 97 : Chargé de Recherche (CR1) au CNRS,
affecté
à l'IRISA.
- Avr.97-Sept.03 : Directeur de Recherche (DR2) au CNRS.
- Oct.86-Nov.95 : membre du projet INRIA Algorithmes
Distribués et
Protocoles jusqu'en 1991, puis du projet PAMPA (Programmation des
Architectures Massivement PArallèles).
- Déc.95-Jui.01 : j'assure la direction de ce projet PAMPA
comprenant
en 2000 l'activité de plus de 25 personnes, dont 1 professeur
(JM.
Jézéquel), 3 Maîtres de Conférences (C.
Viho,
Y. Le Traon, N. Plouzeau), 3 chercheurs INRIA (T. Jéron, B.
Caillaud,
V. Rusu), une dizaine de doctorants, quelques post-doctorants et 6
ingénieurs
en CDD. J'ai centré l'activité scientifique de ce nouveau
projet PAMPA sur les modèles et outils pour la programmation des
architectures parallèles réparties. En juillet
2001, ce projet s’arrête et contribue
fortement
à
la naissance de nouvelles équipes en génie logiciel
à
l’Irisa, autour de JM. Jézéquel, T. Jéron et B.
Caillaud.
- Avr.99-Avr.02 : membre de l’équipe de
direction
de l’Irisa.
- Depuis septembre 2002, professeur dans le département
Informatique
et Télécommunications de l’ENS Cachan. Actuellement
professeur des universités de 1ère classe.
Responsabilités scientifiques
- Membre du Comité National de la Recherche Scientifique
(1991 -
1995)
(à ce titre, membre du comité de programme du P.I.R.
Ville,
membre des conseils scientifiques du LGI/Imag, de Bull/Imag et du
LIP/Ens
Lyon).
- De 1993 à 1998, membre du comité de pilotage de
l'action
Nouvelles technologies et la sécurité dans la ville
soutenue
par l'IHESI et le CNRS.
- Membre du Comité des Projets de l'IRISA (de 1990
à 2005).
- Membre du Conseil de laboratoire IRISA (de1990 à 1998).
- Membre des commissions de spécialistes de
l'université de
Rennes, Brest et Orsay (de 1991 à 1995). Membre des commissions
de spécialistes de l’université de Rennes et de l’INSA
(de 1998 à 2004). Actuellement membre de la commission de
spécialistes informatique de l'ENS Cachan.
- Président de la commission personnel de l’Irisa
(jusqu’en Avril
2002), commission qui instruit scientifiquement les dossiers de
recrutement
des personnels scientifiques temporaires (doctorants, post-doctorants,
invités, ingénieurs-experts, ingénieurs
associés,
délégations, détachements). Soit environ 150
dossiers
par an. C’est à ce titre que j’ai fait partie de l’équipe
de direction du laboratoire.
- Membre du bureau du Comité National de la Recherche
Scientifique
(2000-2004) (à ce titre, membre du comité
d’évaluation
du LAAS, de l’IMAG/LSR, de l’IMAG/ID, du LIRMM, du PRISM, de l’IGM, de
Vérimag).
- Membre du conseil scientifique du département STIC
(Science et
Technologie
de l’Information et de la Communication) du CNRS (de 2001 à
2005).
- Membre du conseil stratégique de la
société
TNI-Valiosys (de 2001 à 2004).
- Membre du conseil scientifique du centre de recherche en
informatique
de
Montréal (depuis 2000) .
- Membre du conseil scientifique de la revue Annals of Telecom.
- Membre du comité de pilotage du programme CNRS/STIC sur
les
systèmes
embarqués, puis directeur du RTP SECC en 2004. Directeur de
l'action transversale AFSEC du GDR ASR.
- Membre du comité d'experts CNRS sur la surveillance et
le diagnostic des systèmes complexes.
- Membre de la commission RNRT (Réseau Nationale de
Recherche en Télécommunications) de l'ANR (Agence
Nationale de la Recherche).
- Vice-président du conseil d'administration de l'ENS
Cachan.
- Président du programme fédératif Atlanstic
à Nantes.
- Responsable de la spécialité Info-Telecom du
master de recherche informatique de Rennes.
- Co-responsable du concours informatique des ENS.
- Co-responsable (avec A. Benveniste) de l'équipe
Distribcom, commune IRISA/ENS Cachan.
Travaux
Mes travaux de recherche portent sur l'analyse des systèmes
parallèles
asynchrones. Ils s'inscrivent dans le cadre général de
l'utilisation
de méthodes formelles pour la programmation des architectures
parallèles
et réparties, et concernent les étapes de
spécification,
vérification et test des logiciels répartis sur des
réseaux
de processeurs. Le thème central de mes travaux est
l'étude
de méthodes d'analyse dynamiques, dans lesquels le calcul est
effectué au cours de l'exécution
- abstraite, simulée ou réelle - du programme à
analyser.
Résultats : je suis l'auteur ou co-auteur de plus de
110
publications, dont 20 dans des revues internationales, 7 dans des
revues
nationales, 90 dans des colloques internationaux et nationaux (25 comme
conférencier invité). J’ai co-édité 12
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.
Direction de recherches : j'ai encadré (ou co-encadré)
18 thèses de doctorat (3 en cours), participé à 73
jurys de thèse ou d’habilitation (36 en qualité de
rapporteur, 5 en qualité de président).
Contrats : j'ai été à l'initiative et
responsable
scientifique de 15 contrats, 10 avec des industriels, et 5
conventions
de coopération internationale (Canada, Israel et Europe). Depuis
plusieurs années, ces contrats rapportent au laboratoire environ
500kF par an.
Comités de rédaction et comités de programme :
j’ai été membre du comité de rédaction de 2
revues nationales et ai édité plusieurs éditions
spéciales,
membre du conseil scientifique des annales des
télécommunications.
J'ai été membre du comité de programme de 22
conférences
internationales et 28 conférences nationales et ai
(co-)organisé
plusieurs colloques nationaux, 5 écoles d'été et 5
congrès internationaux. Activité régulière
de rapporteur pour quelques revues internationales et de nombreux
colloques.
Je suis rapporteur attitré pour IEEE Computer. Des expertises
ont
été aussi réalisées à la demande de
la CEE (programmes européens), de ministères (appels
d'offres
informatique et automatique, ANRT, NSERC Canadien, RNRT, RNTL) ou des
tutelles
(CNRS, INRIA).
Enseignement : je participe depuis 1984 à
l'enseignement
de 3ème cycle de l'université de Rennes1. En 1986,
j’ai assuré un service complet d’enseignement, y compris en
second
cycle. Dans l’année universitaire 2001-2002, j’ai
assuré
un enseignement d’informatique en première année du
magistère
Math-Info (Univ. Rennes 1 / ENS Cachan). Depuis 2002, j’assure
un
service complet d’enseignement à l’ENS (dans les
magistères
MIT et Math) et assure la direction adjointe du département
Informatique et Télécommunication de l'ENS Cachan
(direction L. Bougé). J'interviens sur les thèmes de
l'algorithmique, de l'ingénierie des protocoles, des
réseaux et du diagnostic. Je suis le responsable de la
spécialité Info-Telecom du master de recherche
Informatique de Rennes.
Back to 
