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

• Coherent presentations and actions on categories, pdf , (avec Stéphane Gaussent et Yves Guiraud), arXiv:1203.5358, hal-00682233.
• Higher-dimensional normalisation strategies for acyclicity, pdf , (avec Yves Guiraud), Advances in Mathematics, accepté pour publication, arXiv:1011.0558.
• Coherence in monoidal track categories, pdf, (avec Yves Guiraud), Mathematical Structures in Computer Science, à paraître, arXiv:1004.1055.

• Réseau européen Applied and Computational Algebraic Topology.
• École 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.
• Plateforme Sage de l'Université Lyon 1 (développée par Thierry Dumont).
  • Un serveur Sage pour l'enseignement en Licence, journée PLUME Les alternatives libres aux outils propriétaires de maths
• Outils de développement informatique (Master 2 SITN)

• Algèbre appliquée, MAT2054L, (licence de mathématiques).
• Analyse matricielle et algèbre linéaire appliquée II - MAT2066L, (licence d'informatique)