Algèbre homologique, sémantiques algébriques, systèmes de réécriture.
Conditions de fini-convergence des systèmes de réécriture.

• Higher-dimensional normalisation strategies for acyclicity, pdf , (avec Yves Guiraud), arXiv:1011.0558.
• Coherence in monoidal track categories, pdf, (avec Yves Guiraud), Mathematical Structures in Computer Science, accepté pour publication, arXiv:1004.1055.

• Ecole d'hiver Algebra and computation, 27 février - 2 mars 2012, CIRM, Marseille, dans le cadre de la session Logic and interactions 2012, CIRM, Marseille, 30 Janvier - 2 Mars 2012.
• Conférence Operads and Rewriting, 2-4 Novembre 2011, Lyon.

• Coordination de la mention mathématiques de la licence Sciences, Technologies, Santé.
  • Permanence sans rendez-vous le jeudi de 12h30 à 13h30, pas de permanence les jeudi 23 février et 1er mars.
• Plateforme Sage de l'Université Lyon 1 (développée par Thierry Dumont).
• Outils de développement informatique (Master 2 SITN)
• Analyse matricielle et algèbre linéaire appliquée (Licence d'informatique), page du cours.