Strasbourg
Maitre de conférences en informatique à l'Université de Strasbourg.
Responsable de la coordination pédagogique des enseignements techniques du Master Caweb.
Enseignements : XHTML CSS PHP Javascript XML XSL
Recherche : Preuves géométriques dans l'axiomatique de Tarski par le biais de l'assistant de preuve COQ développé à l'INRIA.
