Teaching: university courses and summer schools
David Cachera teaches theoretical computer science at École Normale Supérieure de Cachan.
Thomas Genet teaches Cryptographic Protocols for M2 level (5th university year).
Arnaud Gotlieb teaches structural testing at M2 level in collaboration with Thierry Jéron ( Vertecs project) and Sophie Pinchinat ( S4 project) in the VTS module. He is principal teacher and responsible of the 5INFO module “Testing embedded software” at the 5th year of Insa Rennes. He also teaches “Structural Testing” at the Ecole des Mines de Nantes at the Master level. He was invited to give a lecture at the European TAROT Summer school on “Constraint-Based Testing”.
Thomas Jensen and David Pichardie teach semantics, type systems and abstract interpretation at Master 2 level.
David Pichardie also teaches theoretical computer science at École Normale Supérieure de Cachan and formal methods for software engineering (the B method) at the 4th year of Insa Rennes in collaboration with Mireille Ducassé.
Thomas Genet gave a lecture on “Cryptographic protocols: principles, attacks and verification tools” at the summer school “École Jeune Chercheurs en Programmation” (Rennes, may 2008).
Olivier Heen gave a lecture on “Evaluating Internet Risk” at Telecom ParisTech (Paris, september 2008). He also co-animated a seminar on “Multiple Identities” for the The Media & Networks cluster (Rennes, october 2008).
Thomas Jensen is scientific leader of the École Jeunes Chercheurs en Programmation , an annual summer school for graduate students on programming languages and verification, organized under the auspices of the CNRS GdR ALP. This year's event was organised by Mamoun Filali at IRIT and took place at Luchon and Toulouse. The school attracted 40 participants for two weeks during June.