 |
|
|
|
| People |
|
| Team Leader |
| Catuscia Palamidessi INRIA |
| Researchers |
|
|
| Frank D. Valencia
CNRS |
| Postdocs |
| Filippo Bonchi INRIA |
| Simon Kramer INRIA |
| Josef Widder Project DGA |
| PhD students |
| Christelle Braun |
| Jesus Aranda (Co-supervised by Juan Francisco Diaz) |
| Andres A. Aristizabal P. |
| Mario Alvim |
| Project Assistant |
|
Lydie Fontaine INRIA |
| Past postdocs and PhD students |
| Romain Beauxis |
| Sylvain Pradalier |
| Carlos Olarte |
| Kostas Chatzikokolakis |
| Peng Wu |
| Angelo Troina |
|
Yuxin Deng
|
|
Tom Chothia
|
|
Jun Pang
|
| Antoine Gaillard |
| Past long-term visitors |
| Robin Milner Computer Laboratory, University of Cambridge |
| André Schiper École Polytechnique Fédérale de Lausanne |
|
|
Page maintainer: Catuscia Palamidessi