1. Works in collaboration with PhD students and postdoc students:
    1. Camille Pinto, An algorithmic algebraic analysis approach to linear integro-differential-delay systems, Inria Paris, IMJ-PRG, Sorbonne Université, co-encadrement avec Thomas Cluzeau (XLIM, Univ. Limoges), 2022-- .

    2. Grace Younes, Computation of the L-norm of finite-dimensional linear systems, PhD thesis, Sorbonne University, co-supervised with Fabrice Rouillier, Sorbonne University, Inria Paris (2018-2021), now Assistant Professor of Mathematics at Sorbonne University Abu Dhabi, Émirats arabes unis.

    3. Yacine Bouzidi, Constructive study of analysis and synthesis problems of multidimensional systems (description), postdoctorant, ANR MSDOS, Inria Saclay (09/2014-10/2015), postdoctorant, Inria Lille (2015-2018).
    4. Guillaume Rance, Commande H paramétrique et application aux viseurs gyrostabilisés, CIFRE PhD with Safran Electronics & Defense, co-supervised with Hugues Mounier (University of Paris Sud, L2S) and Arnaud Quadrat (Sagem, Massy Palaiseau), Inria Lille/L2S/Sagem (03/2015-02/2018), now engineer at Safran Electronics & Defense.
    5. Georg Regensburger, Integro-differential operators and algebraic systems theory, postdoctorant, Schrödinger grant (Austrian Science Fundation), INRIA Saclay (2010-2012), now Professor for Computer Algebra, University of Kassel, Austria.
    6. Thomas Cluzeau, Factoring and decomposing a class of linear functional systems: A homological algebraic approach, postdoctorant, INRIA Sophia-Antipolis (2005-2006), now Assistant Professor at Ecole Nationale Supérieure d'Ingénieurs de Limoges (ENSIL).
    7. Arne Lorenz, Jet groupoids, natural bundles and the Vessiot equivalence method, PhD thesis, RWTH Aachen University (Germany, 18/03/09).
    8. Anna Fabiańska, Algorithmic analysis of presentations of groups and modules , PhD thesis, RWTH Aachen University (Germany, 31/07/09).
    9. Daniel Robertz, Formal Computation Methods for Control Theory , PhD thesis, RWTH Aachen University (Germany, 20/06/06), now Full Professor at Lehrstuhl für Algebra und Zahlentheorie, RWTH Aachen University, Germany.

  2. Internships:
    1. Towards an effective integro-differential elimination theory

      Camille Pinto, Master thesis (University of Versailles), Inria Paris, IMJ-PRG, Sorbonne Université (04-07/22), co-encadrement avec Thomas Cluzeau (XLIM, Univ. Limoges).

    2. Etude algorithmique du problème d'estimation algébrique de paramètres

      Chartouny Maya, Master thesis (University of Versailles), Inria Paris, IMJ-PRG, Sorbonne Université (04-07/21), co-encadrement avec Thomas Cluzeau (XLIM, Univ. Limoges).

    3. Etude effective de l'algèbre des opérateurs intégro-différentiels ordinaires à coefficients polynomiaux

      Valérian Hatey, Master thesis (University of Versailles), Inria Paris, IMJ-PRG, Sorbonne Université (04-07/20).

    4. Lemme de perturbation homologique et ses applications en théorie du contrôle

      Quentin Renvoise, L3 (ENS Rennes), Université de Versailles (05-06/15), co-encadrement avec Vincent Cossart.

    5. Etude constructive des théorèmes de Warfield sur l'équivalence des systèmes fonctionnels linéaires

      Nicolas Ribard, Master thesis (University of Versailles), INRIA Saclay (05-08/14).

    6. Constructive study of differential flatness and its applications in control theory

      Kristina Halturina, Master thesis (University of Tallinn), INRIA Saclay (02-04/14).

    7. Computational methods in linear control theory

      Daniel Robertz, INRIA Sophia Antipolis (02-04/03, 02-04/04, 03-04/05).

    8. Formes de Hermite et de Jacobson: Implémentations et applications

      Grégory Culianez (INSA de Toulouse), INRIA Sophia Antipolis (06-07/05) ( report ).

    9. Implementation of the Quillen-Suslin theorem in OreModules

      Job Evers (MIT), INRIA Sophia Antipolis (06-08/05).

    10. Implémentation générique et efficace des bases involutives

      Simina Stefania Maris (Master, University of Limoges), INRIA Sophia Antipolis (04-07/03) ( report ).

Return to the main page