Person. Christine Paulin-Mohring Université Paris Saclay · lri.fr/~paulin PhD advisorGérard Huet PhD studentsJean-Christophe Filliâtre PhDUniversité Paris Diderot