Team VerTeCs

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography
Inria / Raweb 2003
Project: VerTeCs

Project : vertecs

Section: Dissemination


University courses

T. Jéron: is responsible of a course in Master of Computer Science in University of Rennes 1, and of a course in the engineering school DIIC in University of Rennes 1. He also teaches in the engineering school EnstB in Rennes and Brest. The topics of all lectures are testing and model-checking, He is also member of the ``Comissions de Spécialistes'' of ENS Cachan and University Rennes 1.

V. Rusu teaches in the Master of Computer Science in Rennes, on deductive verification methods.

B. Jeannet teaches in the Master of Computer Science in Rennes, on abstract interpretation,

B. Gaudin is teaching in DEUG and DIIC 2 in University of Rennes 1 (64h/year).

V. Tschaen is teaching in DEUG and DIIC 3 in University of Rennes 1 (64h/year).

E. Demairy is teaching compilation and project management in IUP-2 and IUP-3 in University of Rennes 1 (40h).


previous
next