 |
Benoît Caillaud |
|
My PGP key |
|
My research interests cover the fundamental aspects of distributed embedded software design: distribution of reactive programs, Petri-Net synthesis, communication protocols synthesis, analysis and implementation of message sequence charts/graphs (MSC/MSG), distributed control of discrete event systems.
Since April 2001, I am head of research team S4 of IRISA. I am also involved in the European Network of Excellence ARTIST II (FP6). I am teaching, in collaboration with Sophie Pinchinat, a MSc course on the ``behavioural analysis of reactive and distributed systems'' (A2R).
I have been involved in the following former projects: MODISTARC, BDL, MARS, FISC., COLUMBUS. Between 1999 and 2001, I have been in charge of the ``software engineering and formal methods'' track of the DEA (MSc) of computer science of the University of Rennes 1.
I am a research assistant at IRISA (Chargé de recherche INRIA) since February 1997. I am currently leading the S4 research team, created in April 2001.
From 1986 to 1990, I have been granted a scholarship at École Normale Supérieure in Paris where I studied physics and computer science. I received a PhD degree in Computer Science from the University of Rennes 1 in 1994. I have been (post-doctoral) research assistant at LFCS, The University of Edinburgh, UK, in 1994, 1995 and 1996.
Slides of my lecture at the spring school in theoretical computer science, EPIT2004, 26-30 April 2004, Luminy, France.
Synet : A software synthesizing distribuable bounded Petri-nets.
Mica : A modal interface compositional analysis library.
Recent publications (since 2000)
Older publications (until 1999)
