Person. Jean-Christophe Filliâtre Université Paris Saclay · usr.lmf.cnrs.fr/~jcf · https://github.com/backtracking PhD advisorChristine Paulin-Mohring PhD studentsLéon Gondelman, Mário Pereira PhDUniversité Paris-Sud