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