Accueil
Bienvenue sur la page de l'équipe PaMDA du LIFO.
Thémes de recherches
- Parallélisme structuré
- Parallélisme pour le traitement des grandes masses de données
- Compilation certifiée
- Analyse statique de programme
- Vérification par approximations
- Composition d'applications distribuées
