---- datatemplateentry ----
template: templates:user
classe: personne
login: ehrhard
nom: Ehrhard
prenom: Thomas
telephone: 01 57 27 92 17
bureau: 4014a
mail: Thomas.Ehrhard@irif.fr
pageweb: https://www.irif.fr/~ehrhard
poles: pps
equipes: algebre,programmes,preuves,picube
statut: Directeur.rice de recherche - CNRS
annuaire: oui
----