Section: Dissemination

Thesis and admission committees

Horatiu Cirstea:

• Member of the recruitment committee for an Associate Professor position at ENSEM (INPL).

Claude Kirchner:

• Emilie Balland: “Conception d'un langage dédié à l'analyse et la transformation de programmes”, PhD (co-advisor)

• Guillaume Burel: “Bonnes démonstrations en déduction modulo”, PhD (advisor)

Pierre-Etienne Moreau:

• Emilie Balland: “Conception d'un langage dédié à l'analyse et la transformation de programmes”, PhD (co-advisor)

• Muck Joost van Weerdenburg: “Implementation of Rewrite Systems”, PhD