Home

Bio

Enseignement

Publications

Logiciel

Contact



In English


Maître de conférences

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


Actuellement en délégation
au Laboratoire de l'Informatique et du Parallélisme, équipe AriC
École Normale Supérieure de Lyon


Interêts de recherche

Conférences