Les principaux thèmes abordés dans le groupe LaMHa sont:

• Sémantiques et implantations de langages déclaratifs pour la programmation parallèle, distribuée et de grilles de calcul
• Patrons algorithmiques et méthodes constructives
• Certification formelle des programmes et compilateurs
• Modèles de coûts de haut-niveau des programmes parallèles et sur grilles de calcul (BSP, LogP, CGM, et dérivés)
• Applications utilisant des approches de haut-niveau
• ...