LIRMM - MaREL Team

L'équipe MaREL est une équipe du Département Informatique du LIRMM.

Les travaux de l’équipe MaREL s’insèrent dans le cadre du génie logiciel et s’intéressent à l’automatisation des étapes du cycle de vie du logiciel, de la conception à la maintenance en passant par la compilation et l’optimisation du code, à la modularisation et réutilisation des programmes, ainsi qu’à leur sémantique et sûreté de fonctionnement. Ces sujets couvrent la totalité de la démarche, de l’étude théorique aux expérimentations en vraie grandeur, en passant par le développement de langages, de modèles, d’algorithmes et de démonstrateurs.

L'équipe MaREL est impliquée dans les GT suivants du GDR GPL :

• GT Génie Logiciel et Intelligence Artificielle (GLIA)
• GT Langages et Vérification de Programmes (LVP)
• GT Méthodes Formelles et Programmation Haute Fidélité pour Systèmes Critiques Émergents (HiFi)
• GT Compilation, Langages, Analyses, Parallélisme (CLAP)
• GT "trustworthY and Optimal Dynamic Adaptation" (YODA)
• GT Ingénierie Dirigée par les Modèles (IDM)