Nous assistons aujourd’hui à une intégration sans précédent de composants de systèmes informatiques qui n’étaient jusqu’ici pas connectés. Il en résulte des systèmes répartis, hétérogènes, très dynamiques et souvent critiques en matière de sécurité. Nous avons besoin de maîtriser cette complexité et en même temps d’augmenter la productivité des utilisateurs et la fiabilité de l’infrastructure.
La recherche en langages de programmation et méthodes formelles à l’EPFL vise à développer des langages, des théories, des algorithmes et des outils sur lesquels s’appuient la construction et la validation de systèmes de logiciels utilisés pour tous les appareils informatiques, allant des systèmes intégrés et des téléphones intelligents aux centres de données et aux systèmes répartis. Ces recherches introduisent l’utilisation d’approches déclaratives et spécifiques selon le domaine, qui permettent non seulement de faire passer la productivité du développement à des niveaux plus élevés, mais également de développer des solutions pratiques dont bénéficient les infrastructures existantes. La recherche porte sur les mécanismes et les outils pour des logiciels fiables sous la forme de systèmes de types, vérification automatique, construction correcte, résolution des contraintes, démonstration de théorèmes, analyse, synthèse, traitement des requêtes, transactions et acteurs.
