- Durand, A. Byzantine consensus and blockchain: Models unification and new protocols, IP Paris, Nov.21
- Donat-Bouillud, P. Models, Analysis and Execution of Audio Graphs in Interactive Multimedia Systems, Sorbonne Université, Dec.19
- Moreira, J. Evaluation de la qualité d’expérience des services audiovisuels en mobilité: apport de l’immersion sonore, CNAM, Jul.19
- Legouverneur, G. Silver Games : Etude des facteurs humains dans le développement de jeux vidéo adaptés
aux personnes agées, Université Paris Descartes, Nov.14
- Millon, E. Analyse de sécurité de logiciels système par typage statique :
Application au noyau Linux, Université Pierre et Marie Curie, Jul.14
- Soulan, S. Développement de la scatterométrie dynamique
pour le suivi en temps réel de procédés : application à la
microélectronique. Université Joseph Fourier-Grenoble I, Dec. 2008
- Hornof, L. Analyses statiques pour la spécialisation
effective de programmes réalistes. IRISA, Rennes I, Jul. 1997
- Miniussi, A. Amélioration des performances d'un système
de compilation d'équations. Bordeaux I, Jun. 1997
- Fontalbe, P. Evaluation partielle symbolique. Université
Paris 6, Apr. 1996
- Bennani, N. Proposition d'un modèle de programmation et
d'implémentation parallèle d'un langage fonctionnel sans
variables. Lille, Nov. 1994
- Dehbonei, B. Génération de code et analyse
interprocédurale au sein d'un environnement de programmation
parallèle. Paris 6, Dec. 1990 (co-rapporteur)