par Lucien Rakotomalala sous la direction de Pierre Roux et de Marc Boyer. - Toulouse, ISAE
par Mathieu Boespflug sous la direction de Gilles Dowek - Palaiseau, Ecole polytechnique
par Florent Bréhard sous la direction de Mioara Maria Joldes et de Mioara Maria Joldes. - Lyon
par Arnaud Spiwack sous la direction de Benjamin Werner - Palaiseau, Ecole polytechnique
par Alexis Fouilhé sous la direction de David Monniaux et de Michaël Périn. - Université Grenoble Alpes (ComUE)
par Amokrane Saïbi sous la direction de Gérard Huet - Paris 6
par Quentin Canu sous la direction de Georges Gonthier, Xavier Allamigeon et de Pierre-Yves Strub. - université Paris-Saclay
par Antoine Séré sous la direction de Benjamin Werner et de Pierre-Yves Strub. - Institut polytechnique de Paris
par Marc Coiffier sous la direction de Jean-François Monin et de Jean-louis Roch. - Université Grenoble Alpes
par Romain Xu (Xu-darme) sous la direction de Georges Quenot, Marie-Christine Rousset et de Zakaria Chihani. - Université Grenoble Alpes