| Laboratoire |
LRI |
| Nom
de l'équipe ou du projet |
Programmation
et Génie Logiciel |
| Responsable |
Marie-Claude
Gaudel |
| Effectifs
(chercheurs, enseignants-chercheurs, thésards, ingénieurs, techniciens) |
4
enseignants chercheurs, 2 thésards |
| Axes
de recherche (liste de mots-clefs) |
- Certification
de logiciels critiques
- Méthodes
formelles
- Test
- Fiabilité
|
| Relations
industrielles ( liste de partenaires industriels) |
CEA |
| Participation
à des programmes nationaux (ex. RNTL, RNRT) (liste de projets) |
|
| Participation
à des programmes européens (ex. IST) (liste de projets) |
IST-DSoS |
| Plates-formes |
|
| Suggestions |
|