| Laboratoire |
Laboratoire
de l'Informatique du Parallélisme (LIP UMR 5668 Muller) |
| Nom
de l'équipe ou du projet |
Arenaire
/ Preuves formelles |
| Responsable |
Marc
Daumas |
| Effectifs
(chercheurs, enseignants-chercheurs, thésards, ingénieurs, techniciens) |
1
chercheur, 2 thesards |
| Axes
de recherche (liste de mots-clefs) |
Virgule
flottante |
| Relations
industrielles ( liste de partenaires industriels) |
Aerospatiale,
NASA |
| Participation
à des programmes nationaux (ex. RNTL, RNRT) (liste de projets) |
|
| Participation
à des programmes européens (ex. IST) (liste de projets) |
|
| Plates-formes |
Coq |
| Suggestions |
|