Home

Bio

Teaching

Publications

Software

Contact



En français


Maître de conférences

Equipe Calcul Formel
XLIM - DMI UMR CNRS 7252
Faculté des Sciences et Techniques
Université de Limoges


Currently on secondment
at Laboratoire de l'Informatique et du Parallélisme, équipe AriC
École Normale Supérieure de Lyon


Research interests

Recent and forthcoming conferences