enseignement / teaching
MPRI 2-02 (Modèles des langages de programmation: domaines, catégories, jeux), 2004/05-2007/08 (M2). [lecture notes]
MPRI 2-19 (Méthodes informatiques pour la biologie systémique et synthétique), 2008/09 (M2).
AIV CompBio 2 (Rule-based modeling), 2011/12-2013/14 (M1). 
ENS Lyon M2IF CR02 (Linear logic & game semantics), 2013/14 (M2).
ENS Lyon M2IF CR11 (Rule-based modelling), 2014/15-2015/16 (M2). 
Groupe de lecture / reading group (théorie des catégories / category theory), 2015/16 (L3/M1).