Section: Dissemination

Teaching - Supervision - Juries

Teaching

Jean-Pierre Talpin gave a one week class “Introduction to model-checking” at Nankai University in July and at Beihang University in November.

Supervision

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

Juries

Jean-Pierre Talpin served as rapporteur at the HDR Thesis defense of Jérôme Hugues, entitled “Architecture in the Service of Real-Time Middleware, Contributions to Architecture Description Languages”, which took place at INP Toulouse on February 22.

Jean-Pierre Talpin served as rapporteur at the HDR Thesis defense of Maxime Pelcat, entitled “Models, methods and tools for bridging the design productivity gap of embedded signal processing systems”, which took place at Institut Poincarré in Clermond-Ferrand on July 10.