Ingénieur de recherche de l'Enseignement Supérieur, logicien, informaticien et spécialiste de la pédagogie en mathématiques. (à la retraite)