Section: Dissemination

Administrative responsibilities

Thomas Jensen is délégué scientifique for the INRIA centre in Rennes and president of the joint Scientific Committee (comité des projets ) between Irisa and Inria Rennes Bretagne Atlantique. Through this duty he is member of the INRIA evaluation board.

Sandrine Blazy is in charge of a graduate curriculum (M2 level) at Université de Rennes 1. dedicated to information system security. Thomas Genet is in charge of the first year of the Master in Computer Science at Université de Rennes 1.

Thomas Jensen is member of the executive bureau of the French network GDR GPL on software engineering and formal methods in programming.