1. Internships:

    1. Computational Methods in Linear Control Theory:

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

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

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

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

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

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

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

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

    1. Abdelkarim Chakhar, PhD student at the University of Limoges, starting September 2010.

    2. Georg Regensburger, Integro-differential operators and algebraic systems theory, postdoctorant INRIA (2010-2012).

    3. Thomas Cluzeau, Factoring and decomposing a class of linear functional systems: A homological algebraic approach, postdoctorant INRIA (2005-2006), now Assistant Professor at Ecole Nationale Supérieure d'Ingénieurs de Limoges (ENSIL).

    4. Arne Lorenz, Jet groupoids, natural bundles and the Vessiot equivalence method, PhD thesis, RWTH Aachen University (Germany, 18/03/09).

    5. Anna Fabiańska, Algorithmic analysis of presentations of groups and modules , PhD thesis, RWTH Aachen University (Germany, 31/07/09).

    6. Daniel Robertz, Formal Computation Methods for Control Theory , PhD thesis, RWTH Aachen University (Germany, 20/06/06).

Retour à la page précédente