 |
|
|
|
| People |
|
| Team Leader |
| Catuscia Palamidessi INRIA |
| Researchers |
| Bernadette Charron-Bost (CNRS) |
| Kostas Chatzikokolakis (CNRS) |
| Frank D. Valencia
(CNRS) |
| Postdocs |
| Miguel E. Andrés (QUALCOMM) |
| Ehab ElSalamouny (INRIA) |
| Marco Giunti (ERCIM) |
| Sardaouna Hamadou (ANR PANDA) |
| PhD students |
| Mário S. Alvim (DGA/CNRS. Supervised by Catuscia Palamidessi) |
| Andrés A. Aristizábal P. (DGA/CNRS. Supervised by Frank Valencia) |
| Nicolás Bordenabe (DGA/INRIA. Supervised by Catuscia Palamidessi) |
| Ivan Gazeau (ANR. Supervised by Dale Miller and Catuscia Palamidessi) |
| Sophia Knight (INRIA. Supervised by Kostas Chatzikokolakis and Catuscia Palamidessi) |
| Thomas Nowak (EDX. Supervised by Bernadette Charron-Bost) |
| Luis Fernando Pino Duque (DGA/INRIA. Supervised by Frank Valencia) |
| Interns |
| Marco Stronati (Supervised by Catuscia Palamidessi) |
| Lili Xu (Chinese Academy of Science. Supervised by Catuscia Palamidessi) |
| Project Assistant |
| Christelle Lievin INRIA |
| Past postdocs and PhD students |
| Marie-Aude Steineur (ANR. Supervised by Samy Abbes and Catuscia Palamidessi) |
| Jesus Aranda (PhD. Supervised by Frank Valencia and Juan Francisco Diaz) |
| Romain Beauxis (PhD EDX. Supervised by Catuscia Palamidessi) |
| Filippo Bonchi (Postdoc ERCIM) |
| Christelle Braun (PhD EDX. Supervised by Catuscia Palamidessi) |
| Tom Chothia (Postdoc CNRS) |
| Yuxin Deng (Associated PhD. Supervised by Davide Sangiorgi) |
| Jérémy Dubreil (Postdoc INRIA) |
| Simon Kramer (Postdoc INRIA) |
| Carlos Olarte (PhD INRIA. Supervised by Frank Valencia) |
| Jun Pang (Postdoc INRIA) |
| Sylvain Pradalier (PhD Cachan. Supervised by Catuscia Palamidessi and Cosimo Laneve) |
| Angelo Troina (Postdoc ARC and INRIA) |
| Josef Widder (Postdoc DGA) |
| Peng Wu (Postdoc INRIA) |
| Antoine Gaillard (PhD EDX. Supervised by Bernadette Charron-Bost) |
| Past long-term visitors |
| Robin Milner Computer Laboratory, University of Cambridge |
| André Schiper École Polytechnique Fédérale de Lausanne |
|
|
Page maintainer: Catuscia Palamidessi