Section: Dissemination

Teaching - Supervision - Juries

Teaching

Jean-Pierre Talpin gave a seminar at Beihang Science Park on June 11th , at ISCAS on May 2nd and on June 14th, and at Beida (PKU) on December 7th. Jean-Pierre Talpin gave an introductory course on model-checking at Nankai University, May 7-8th.

Supervision

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

Juries

Jean-Pierre Talpin served as reviewer at the HDR Thesis defense of Katell Morin, entitled “Assertions and hardware design”, which took place at TIMA, Grenoble, on November 15.

Jean-Pierre Talpin served as reviewer at the PhD Thesis defense of Guillaume Plassan, entitled “Conclusive formal verification of clock domain crossing properties”, which took place at TIMA, Grenoble, on March 28.