Professional Experience
- Feb.80-Sep.85 : Research engineer at the french national
research
center in telecommunication (CNET) at Lannion, member of the
"Evaluation
and Validation of Protocols" research group. In 1981, I spent 6
months
as research scientist in the Gv. Bochmann's group at the university of
Montreal.
- Oct.85-Sep.86 : Associate professor at the Rennes1
university.
- Oct.86-Mar 97 : Full time researcher (CR1) at the french
national
center for scientific research (CNRS), at the IRISA laboratory.
- Apr.97-Sep.03 : Research director (DR2) at the CNRS.
- Oct.86-Nov.95 : member of the INRIA project "Algorithmes
Distribués
et Protocoles" until 1991, then of the PAMPA project (Programmation des
Architectures Massivement PArallèles).
- Dec.95-Jun.01 : I head this PAMPA project, comprising in
2000 the
research activity of more than 25 scientists, including 1 professor
(JM.
Jézéquel), 3 associate professors (C. Viho, Y. Le Traon,
N. Plouzeau), 3 INRIA researchers (T. Jéron, B. Caillaud,
V. Rusu), a dozen of PhD students, a few post-docs and 6 engineers on
contracts.
I centered the research activity of this new group on models and tools
for programming distributed systems. In july 2001, the project reached
its end and strongly contributed to the
emergence of new Irisa research groups on software engineering, around
JM. Jézéquel, T. Jéron and B. Caillaud.
- Apr.99-Apr.02, member of the direction board
of Irisa.
- Sep.02- , professor in the Telecom and Computer Science
department
at the Ecole Normale Supérieure de Cachan.
- Jan.04- , vice-head of the new pluri-disciplinary research
group Distribcom, jointly with ENS Cachan and IRISA/INRIA
Scientific Responsabilities
- Member of the national committee for scientific research (1991
- 1995)
(at this position, member of the program committee of "P.I.R.
Ville",
member of the scientific advisory committees of the LGI/Imag,
the
Bull/Imag and the LIP/Ens Lyon).
- From 1993 to 1998, member of the steering committee of the "new
technologies
and security in the city" supported by the IHESI and the CNRS.
- Member of the scientific directory board of IRISA (from
1990 to 2005).
- Member of recruitment jurys of the universities of
Rennes,
Brest and Orsay (from 1991 to 1995, then from 1998 to 2001), and now of
the ENS Cachan.
- President (til April 2002) of the committee in charge of the
recruitment
of temporary scientific staff of IRISA (PhDs, post-docs, invited
scientists, engineers, ...). This concerns the recruitment of almost
150
scientists per year.
- Member of the board of the national committee for scientific
research
(2000-2004)
(at this position, member of the scientific advisory committes of the
LAAS,
the IMAG/LSR, the l’IMAG/ID, the LIRMM, the PRISM, the LIFC,
Verimag).
- Member of the scientific council of the STIC (Science and
Technology of
Information and Communication) department of the CNRS (from 2001 to
2005).
- Member of the strategic advisory board of the TNI-Valiosys
company.
- Member of the scientific council of the research center in
computer
science
in Montréal (CRIM).
- Member of the scientific board of the Annals of Telecom.
- Member of the scientific board of the CNRS/STIC/SECC program on
embedded
systems, then director.
- Member of the scientific council of the french national program
in Telecom of the ANR (french national agency for research).
- Vice-president of the board of directors of the 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 110
publications,
including 20 in international journals, 7 in national journals,
90
in international and national conferences (25 like invited lecturer). I
co-edited 12 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
two years ago.
Research supervision: I supervised (or co-supervised) 23
PhD
thesis (3 currently active), participated to 76 PhD or HDR
examining
boards jurys (34 as rapporteur, 5 as president).
Contracts : I launched and managed 15 research
contracts,
10 with industrial companies, and 5 international cooperations (Canada,
Israel and Europe). For many years, these contracts bring in revenue of
almost 100keuros per year.
Program committees : I was member of the editorial board of
2
national journals and edited several special issues. I was member of
the
program committe of 22 international conferences and 27 national
conferences and (co-)organised several national conferences, 5 summer
schools and 5
international congresses. Usual activity of review for a few
international
journals and numerous conferences. I am a special reviewer fo the IEEE
Computer magazine. I act as an expert for the CEE (european programs),
ministeries (ANRT, Canadian NSERC, RNRT, RNTL) or institutions (CNRS,
INRIA, French ministry of research).
Teaching: I teach since 1984 at the final level of
universities. In 1986, I
taught
a complete service, including under-graduate courses. In 2002, I taught
computer science in the first year of the master in mathematics of the
ENS-Cachan/Bretagne. Since then, I am in charge of several
courses
in two masters of the ENS (Telecom and CS, and Mathematics). I am the
vice-director of the CS&T department (directed by L. Bougé)
of the ENS Cachan.
Back to