"Maîtres" & quelques anciens collègues

Louis BOLLIET

Claude BOKSENBAUM

Tony HOARE

Jean KUNTZMANN

Grigore MOISIL

Tiberiu POPOVICIU

Michel SINTZOFF

Gul AGHA

Pierre BESSIERE

Guy MAZARE

Emmanuel MAZER

Joseph SIFAKIS




Some former PhD students :

Victor Sanchez, 1984 "Un noyau pour systèmes répartis"; [Prof. l'UNAM ; chercheur LANIA, Mexique]

Cécile Roisin, 1985 "Spécification de protocoles de communication à l'aide de CSP" [MdC, U2-Grenoble]

Michel Riveill, 1987 "CONKER: noyau pour systèmes de processus communicants"; [PR à l’UNSA-Nice]

Jacques Eudes, 1990 "PDS: un environnement de développement de programmes parallèles" [IR à l’UJF]

Philippe Waille, 1991 "Architectures Parallèles à Connectique Programmable: Reconfiguration et Routage"; [MC –UJF Grenoble]

Yves Langué, 1991 “Parx: Architecture de noyau de Système d'Exploitation Parallèle”; [Dir. Entreprise]

Néstor Gonzalez, 1991 “Parx: Noyau de système pour les ordinateurs massivement parallèles; contrôle de la communication entre processus”,  [Prof. Univ. Santiago de Chile]

Xiaobo Philippe Yu, 1992 "Un système formel de transformation de programmes pour exécution sur machines parallèles"; [R&D, Ericson France]

El-Ghazali. Talbi, 1993 "Allocation de processus sur architectures parallèles à mémoire distribuée";[Prof. Univ. Lille]

François Menneteau, 1993 "ParObj, un noyau pour système parallèle à objets", [R&D Industrie]

Léon Mugwaneza, 1993 "Contrôle des communications dans les machines parallèles à mémoire distribuée: contribution au routage automatique des messages”, [MdC-ESIL Marseille]

Ahmed Elleuch, 1994 “Migration des processus dans les Systèmes Massivement Parallèles”, [MdC ENSI Tunis]

Harold Castro, 1995 “Entrées-Sorties dans les Systèmes Massivement Parallèles”, [prof. Univ. des Andes]

Leila Baccouche, 1995 “Mécanisme d'ordonnancement distribué de tâches temps-réel dans les systèmes parallèles”,  [enseignante Univ. Tunis]

Alba de Melo Balaniuk, 1996 “Modèles de cohérence multiples pour machines virtuelles à mémoire distribuée dans les architectures massivement parallèles”, [prof. Universidade de Brasilia]

Robert Despons, 96 “Conception d'une Machine Virtuelle pour Systèmes Parallèles à Diffusion”[R&D]
Christophe Aussagues, 1998 “Placement optimal de tâches pour systèmes parallèles temps critiques; application à un système de contrôle nucléaire”, 
[IR CEA LIST-Saclay]

Stéphane Rivas, 1999 “Communications adaptatives dans les réseaux généraux”,  [R&D]

Cristian ENE, 2001 “Un modèle formel pour les systèmes mobiles à diffusion”,  [MdC-UJF Grenoble]

Ludovic CASSET, 2002 “Construction correcte de logiciels pour cartes-à-puce ; développement formel d’un vérifieur de byte code Java à l’aide de la Méthode B”, [R&D, PSA]

Javier GARMENDIA-TORRES, 2003 "MobiRouting : Un modèle de routage pour réseaux mobiles" [R&D Cegetel]

Jean-Louis LANET, HdR 2004 " Produire des Logiciels Sûrs; Contribution pour la construction de systèmes enfouis – Application aux cartes-à-puce", [Prof. Univ. Limoges]

Laurent BOBELIN, 2008 « Tomographie depuis plusieurs sources vers multiples destinations dans les réseaux de grilles informatiques haute performances » (CR CNRS Lyon)
Olivier FAURAX, 2008 « Modèle et Simulateur pour Attaques en Fautes des Cartes à Puces », [R&D]

Laurent VALLET, 2012 «Contribution au renforcement de la protection de la vie privée ; Application à l'édition collaborative et anonyme des documents »

Irfana MEMON, 2013, "Energy efficient secure and privacy preserving data aggregation in Wireless Sensor Networks" (enseignante universitaire Pakistan)