- 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 (financement ultérieur Appel à projet “Postdoc Innovation Amines/MINES ParisTech” et PSL “Cambridge Business Ignite”).
- 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-encadrement), Sep. 2015 (nominé pour le Prix de thèse Telecom ParisTech).
- 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. 2010 (Prix Charles Foix 2011).
- Denis, G. Jeux vidéo éducatifs et motivation : application
à l'enseignement du jazz. Ecole des mines de Paris,
Dec. 2006 (Publiée aux Presses des Mines, 2008).
- Tang, Y-M. Implémentation efficace des langages
fonctionnels. Ecole des mines de Paris et Université Paris 6, Mar. 1994
- 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. 1993 (maître de thèse)
- Dornic, V. Analyse de complexité des programmes :
vérification et inférence. Ecole des mines de Paris et
Université Paris 6, Jun.92 (maître de thèse)