|
Information
-
How to reach me
(email, phone, car ...)
-
Previously held positions:
INRIA, France ("Charge' de Recherche",
"Directeur de Recherche"); University of Edinburgh,
UK (PhD, "Research Associate") .
|
|
Research
-
Research interests: Concurrent systems, especially
mobile and higher order: semantics, verification techniques.
High-level
languages for specifying and programming concurrent activities. Systolic
automata and systems.
-
Book:
The pi-calculus: A Theory of Mobile Processes ,
Cambridge University Press.
(The first draft of this book has been my "habilitation"
document, University of Paris VII)
-
Papers: Bibliography,
from the DBLP
Bibliography Server; some (probably incomplete) lists,
in
BibTeX,
and
HTML
(with pointers to most of the papers)
;
-
Some
talks |
Some tutorial papers
-
Current projects:
Sensoria (Software
Engineering for Service-Oriented Overlay Computers,
EU-funded Integrated Project);
Hats (Highly Adaptable
and Trustworthy Software using Formal Models,
EU-funded Integrated Project);
Bacon(a collaboration with the
Sardes
project at Inria
Grenoble)
-
moca: a mailing list
on "models for mobility"
|
|
Professional activities
|
|
Teaching
Ricevimento studenti: Giovedi, 13.00-14.30
|
|
Miscellaneous
-
Links
(work, travelling, etc.)
|