- Advisor

• Szumega, R. Smart review analysis for irradiation experiments. CERN, en cours
• Maillet, V. AutoML. CIFRE ALTEN, en cours
• Le Conte des Floris, R. Motivational Information Systems. CIFRE ALTEN, en cours
• Sguerra, L. Smart contracts for auctions: from experimental assessment to privacy, Mines PSL, Apr.23 (co-advisor)
• Perera, L. Tala Sound : un projet social pluridisciplinaire en design sonore carnatique pour patients Alzheimer, EnsAD, Dec. 2022
• Aubertin, A. Localisation par ultra-sons, CIFRE Stimshop, May. 21
• Gkotse, B. Ontology-based Generation of Personalised DataManagement Systems: an Application toExperimental Particle Physics. MINES ParisTech, PSL, Sep. 2020
• Sguerra, B. Dynamic Adaptation of Human-Computer Interfaces Using Cognitive Load Tracking. MINES ParisTech, PSL, Dec. 2019
• Wargnier, P. Virtual human technologies for cognitively-impaired older adults' care: the LOUISE and Virtual Promenade experiments. MINES ParisTech, PSL, Dec. 2016 (awarded Armines/MINES ParisTech “Postdoc Innovation” and PSL “Cambridge Business Ignite” funding).
• Saillard, R. Vérification de typage pour le lambda-Pi-Calcul Modulo : théorie et pratique, MINES ParisTech, Sep. 2015.
• de Vogeleer, K. La loi de convexié énergie-fréquence de la consommation des programmes : modélisation, thermosensibilité et applications, TELECOM ParisTech (co-adviser), Sep. 2015 (nominated for Best Telecom ParisTech PhD Award).
• Benveniste, S. La conception incrémentale de jeux sérieux musicaux pour la santé : théorie et application au traitement des troubles du comportement et de la maladie d'Alzheimer, MINES ParisTech, Dec.10 (Prize Charles Foix 2011).
• Denis, G. Jeux vidéo éducatifs et motivation : application à l'enseignement du jazz, Ecole des mines de Paris, Dec.06 (Published at Presses de l'Ecole des mines de Paris, 2008).
• Tang, Y-M. Implémentation Efficace des Langages Fonctionnels, Ecole des mines de Paris et Université Paris 6, Mar.94
• Talpin, J-P. Aspects Théoriques et Pratiques de l'Inférence de Type et d'Effet, Ecole des mines de Paris et Université Paris 6, May.93
• Dornic, V. Analyse de Complexité des Programmes: vérification et inférence, Ecole des mines de Paris et Université Paris 6, Jun.92 (Thesis co-Advisor)