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).