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.
Vous avez travaillé avec Gabriel dans une entreprise qui n'apparaît pas dans son parcours ?
N'hésitez pas à lui suggérer d'ajouter cette expérience en lui envoyant un message.
Pour cela ajoutez d'abord Gabriel à vos contacts.
