| Domaines d'expertise | Equipe de recherche | Contact |
|---|---|---|
| Aide à la conception d'applications multimedia | ADEPT | Emmanuelle Anceaume |
| Programmation d’applications de streaming (vidéo, etc) en utilisant
les langages synchrones Représentation des programmes à la compilation en utilisant un modèle polyédrique Méthodes itératives de compilation comme alternative à la compilation statique classique |
ALCHEMY | Olivier Temam |
| Environnement de développement orienté architecture de systèmes distribués | ARLES | Valérie Issarny |
| Langages dédiés (ou métiers) pour le développement de programmes sûrs et efficaces | PHOENIX | Charles Consel |
| Environnement pour la programmation logique avec résolution de contraintes | CONTRAINTES | François Fages |
| Sécurité de programmation et rapidité du développement | CRISTAL | Xavier Leroy |
| Environnement d'aide à la conception de systèmes embarqués fondé sur l'approche synchrone multi-horloges | ESPRESSO | Jean-Pierre Talpin |
| Environnement de programmation fonctionnelle Bigloo (langage fonctionnel dérivé de Scheme) | MIMOSA | Manuel Serrano |
| Environnement de programmation embarquée | AOSTE | Yves Sorel |
