Précédent : Présentation du projet Remonter : Projet PARA Suivant : Un modèle du calcul distribué

Actions de recherche

• Un modèle du calcul distribué d'ordre supérieur
• Concurrence et typage
• Concurrence et sécurité
• Un prototype pour le join-calcul
• Preuves mécaniques
• Langages de programmation fonctionnels
• Substitutions explicites
• Maintenance des systèmes d'exploitation