|
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") .
-
A
short CV (postscript file)
|
|
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, in HTML
and BibTeX
formats |
Recent works
-
Some
talks |
Some tutorial papers
-
moca: a mailing list
on "models for mobility"
|
|
Professional activities
|
|
Teaching
|
|
Miscellaneous
-
Links
(work, travelling, etc.)
|