Team CAMUS

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Other Grants and Activities
Dissemination
Bibliography

Section: Dissemination

Teaching

As Professor and Assistant Professors at the University of Strasbourg, Philippe Clauss, Nicolas Magaud, Julien Narboux and Éric Violard each gave more than 200 hours of lectures. Benoît Pradelle, as Assistant teacher (moniteur), also gave about 64 hours of lectures.

Julien Narboux gave a lecture about Interactive Theorem Proving at master 1 level and a lecture about Certification of Programs at master 2 level.


previous
next

Logo Inria