Team Leader
|
| Catuscia Palamidessi
INRIA |
|
Researchers
|
Bernadette Charron-Bost (CNRS)
|
Frank D. Valencia
(CNRS)
|
|
Postdocs
|
|
PhD students
|
|
Interns
|
|
Project Assistant
|
|
Past postdocs and PhD students |
| Tom Chothia (Postdoc CNRS) |
| Yuxin Deng (Associated PhD. Supervised by Davide Sangiorgi) |
| Jun Pang (Postdoc INRIA) |
|
Past long-term visitors
|
| Robin Milner
Computer Laboratory, University of Cambridge |
| André Schiper
École Polytechnique Fédérale de Lausanne |
Mila Majster-Cederbaum.
University of Mannheim
|