habilitation à diriger des recherchesphotoPublicationsformal proofs and symbolic computationresearcherContactsMiscellanousTeachingResearch