PhD and Master students





  • Former PhD students:
    2005-08 Vincent Atassi (co-advised with J. Vauzeilles). Typing and Optimal reduction for lambda calculus in variants of Linear logic for Implicit computational complexity. . Defended on dec. 2, 2008. University Paris 13.
    2003-07 Daniel de Carvalho. (co-advised with T. Ehrhard). Sémantiques de la logique linéaire et temps de calcul. Defended on sept. 4, 2007. University Aix-Marseille II.

  • Current PhD students:
    9/2009--   Marc Lasson (co-advised with Olivier Laurent). ENS Lyon.
    9/2009--   Antoine Madet (co-advised with Roberto Amadio). Université Paris 7.
    9/2011--    Matthieu Perrinel . ENS Lyon.

  • Former Master students:
    2011 : M. Perrinel (Master ENS Lyon), au LIP ENS Lyon. Système de types basé sur la logique linéaire par niveaux.
    2010 : L. Capdevielle (Master ENS Lyon) (Internship, first year of Master, M1) LIP ENS Lyon. Light types for polynomial space computation in lambda-calculus.
    2009 : A. Madet (Master Université de Bordeaux). PPS, Université Paris 7. Un Système Affine-Intuitionniste de Types et Effets. Jointly supervised with Roberto Amadio.
    2009 : M. Lasson (Master de l'Université de Nice), au LIP ENS Lyon. Arithmétique fonctionnelle (élémentaire). Jointly supervised with O. Laurent.
    2005 : V. Atassi (MPRI, Master STL université P6). Inférence de type en logique lin éaire élémentaire et complexité des programmes fonctionnels. Jointly supervised with J. Vauzeilles.
    2003 : D. de Carvalho (DEA de logique Université Paris 7). Logique linéaire, complexité polynomiale et théorie des ensembles naive.


    Back to my homepage.