Team celtique

Overall Objectives
Scientific Foundations
New Results
Contracts and Grants with Industry
Other Grants and Activities

Section: Dissemination


Thomas Jensen and David Pichardie taught semantics, type systems and abstract interpretation at Master 2 level.

David Pichardie also taught algorithmics 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é.

David Cachera teaches logics, computability, algorithmics and formal languages at École normale supérieure de Cachan, and semantics of programing languages at Master 1 level at University of Rennes.

Arnaud Gotlieb is responsible of two teaching master-level modules at Insa Rennes: “Compilation” at the 4th year level and “Validation, Verification and Test” at the 5 year level. He also taught software testing at the Ecole des Mines de Nantes at the 5 year level. He was invited to give a conference at the Master 2 Alma of University of Nantes.

Thomas Genet teaches Cryptographic Protocols and their verification for M2 level (5th university year). He also teaches formal methods for software verification and model driven design at M1 level (4th university year).

Thomas Genet gave a lecture on “Cryptographic protocols: principles, attacks and verification tools” at the summer school “École Jeune Chercheurs en Programmation” (Rennes, may 2010).

Sandrine Blazy taught 2 modules for M2 level (Software Vulnerabiblities, Software testing). She also taught formal methods for program proof at M1 level.

Sandrine Blazy gave a lecture on certified compilation at the 2nd Asian-Pacific Summer School (Beijing, China, August 2010).


Logo Inria