Section: Dissemination

Teaching - Supervision - Juries

Jean-Pierre Talpin gave a one week graduate-level course at the Sheng Yuan Honors College, BUAA, entitled: “introduction to program verification”.

Jean-Pierre Talpin co-supervises the PhD Theses of Stéphane Kastenbaum, Simon Lunel, Liangcong Zhang, Jean-Joseph Marty and Lucas Franceschino

Thierry Gautier served as external assessor for professor position application at Nankai University (China).