Denis CAROMEL

Yves Roudier,
"Abstractions réactives pour les langages à objets parallèles : modèles et programmation",
postdoc at Electrotechnical Laboratory (ETL), Tokyo,
currently "Assistant Professor" at Institut Eurécom

Sidi Ould Ehmety,
"Étude du modèle de programmation parallèle Eiffel//: Sémantique Formelle, Preuves et Visualisation" (Advised with I. Attali)
postdoc at Universidade Federal do Maranhao - UFMA, Sao Luis, Brazil,
currently at The University of Cambridge, Computer Laboratory

David Sagnol,
"Correction et optimisation de programmes à objets parallèles"
currently at INRIA Sophia MACOTTE Team

Romain Guider,
``Analyse statique et parallélisation de programmes à objets'' (Advised with I. Attali),
currently at Silicomp Research Institute

Marjorie Russo,
"Formal Semantics and proves for the Java Language" (Advised with I. Attali)
Formely at ESIL, Marseille, ATER at an engineer school (teaching + research)
Now "Enseignant Chercheur" at ESIEE d'Amiens,

Julien Vayssière,
"Security in Reflexive and Distributed Object Systems",
currently Industrial PostDoct at SAP

Fabrice Huet,
``Mobile Objects and Localization Techniques'' formerly ATER, Université de Nice - Sophia Antipolis (2002-2003)
Currently PostDoc at Vrije Universiteit, Amsterdam, with Henri Bal, working on Ibis (2003-2004)

Ludovic Henrio,
"ASP: Asynchronous and Sequential Processes for Distributed and Deterministic Objects", advised with B. Serpette.
Currently ATER, Université de Nice - Sophia Antipolis, ESSI