Sites Inria

There are 1 Results with the keyword : "Model Checking"

Enseignement au LRI © INRIA / Photo Jim Wallace

Research teams

The teaching and research chairs

Since 2008, Inria has been supporting a new form of partnership: teaching and research chairs. Working in collaboration with scientific and industrial partners, these chairs are aimed at strengthening fields that are crucial for technological development and innovation. This collaboration has already given rise to two ambitious projects: a research chair with Schneider Electric and a chair with the Ecole Polytechnique and the EADS foundation.


Home > Research > Research teams > Chaires d'enseignement et de recherche