Guillaume Burel: “Bonnes démonstrations en déduction modulo”, PhD
Emilie Balland: “Conception d'un langage dédié à l'analyse et la transformation de programmes”, PhD
