Section: Dissemination

Teaching

• Thierry Gautier and Loïc Besnard taught on real-time programming at the DIIC 2 Graduate program of the University of Rennes I.

• Thierry Gautier taught on formal methods for component and system synthesis at the Master 2 Graduate program of the University of Rennes 1.

• Hugo Metivier taught programming scientific language at the Licence 1 PCGI Graduate program, taught web design at the Licence 3 MIAGE and taught oriented object language at the DIIC 1 (Licence 3 of Engineering school) Graduate program.

• Yann Glouche taught on functionnal programming and object oriented programming at the STPI Graduate program of the INSA of Rennes. Alse he taught on contrainst programming at the fourth year of the INSA of Rennes.