1. Works in collaboration with PhD students and postdoc students:

    1. Yacine Bouzidi, Constructive study of analysis and synthesis problems of multidimensional systems (description), postdoctorant, INRIA Lille (11/2015-08/2016).

    2. Guillaume Rance, Commande H∞ paramétrique et application aux viseurs gyrostabilisés, CIFRE PhD with Sagem, co-supervised with Hugues Mounier (University of Paris Sud, L2S) and Arnaud Quadrat (Sagem, Massy Palaiseau), Inria Lille/L2S/Sagem (03/2015-02/2018).

    3. Yacine Bouzidi, Constructive study of analysis and synthesis problems of multidimensional systems (description), postdoctorant, ANR MSDOS, INRIA Saclay (09/2014-10/2015).

    4. Georg Regensburger, Integro-differential operators and algebraic systems theory, postdoctorant, Schrödinger grant (Austrian Science Fundation), INRIA Saclay (2010-2012), now Senior Scientific at the Radon Institute for Computational and Applied Mathematics (RICAM), Linz, Austria.

    5. Abdelkarim Chakhar, PhD student at the University of Limoges, 2010-2012.

    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 Lecturer in Pure Mathematics at the University of Plymouth, United Kingdom.

  2. Internships:

    1. 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.

    2. 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).

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

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

    4. Computational Methods in Linear Control Theory:

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

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

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

    6. Implementation of the Quillen-Suslin theorem in OreModules:

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

    7. 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