Students:
-
Valentina Popescu, PhD Student (09/2014-07/2017), joint supervision with Jean-Michel Muller, AriC, Lyon. Towards fast and certified multiple-precision libraries.
-
Paulo Ricardo Arantes Gilz, PhD Student (10/2015-10/2018), joint supervision with Christophe Louembet, Embedded and validated control algorithms for the spacecraft rendezvous.
-
Florent Bréhard, PhD Student (09/2016-07/2019), joint supervision with Nicolas Brisebarre and Damien Pous, Certified numerics in function spaces: Polynomial approximations meet computer algebra and formal proof.
-
Matthieu Masson, PhD Student (09/2022-), joint supervision with D. Arzelier and C. Artigues, Efficient numerical algorithms for impulsive optimal control problems with minimal fuel consumption under collision avoidance constraints.
-
Master students: Marco Felice Montaruli (M2, 2018, joint supervision with Sophie Laurens (CNES), Denis Arzelier),
Damien Guého (M1, 2018, joint supervision with Sophie Laurens (CNES), Denis Arzelier and Aude Rondepierre),
Léo Martire (M2, 2017, joint supervision with Denis Arzelier and Aude Rondepierre),
Valentina Popescu, Master 2 Internship, July 2014;
Florent Bréhard, Master Internship September 2015-May 2016, joint supervision with Nicolas Brisebarre and Damien Pous, Towards certified polynomial approximations for LODEs: a case study occurring in impulsive spacecraft rendezvous;
-
L3 Students: Olivier Marty, L3 Internship, September 2014, On the computation of the square root of floating-point expansions using an adapted Newton-Raphson iteration;
Norbert Deak, L3 Internship, July 2015, joint supervision with Christophe Louembet and Denis Arzelier, Proof of convergence for a spacecraft guidance rendezvous algorithm;
Beatrix Fulop, L3 Internship, July 2015, joint supervision with Nicolas Brisebarre, Fast Multiplication Algorithms for Rigorous Polynomial Approximations;
Ana-Maria Nanes, July 2018, joint supervision with Jean-Michel Muller, Error analysis of fast multiplication algorithms.