CAMBIUM

Les travaux de l'équipe visent à améliorer la fiabilité, la sûreté et la sécurité du logiciel en faisant progresser les langages de programmation et les méthodes de vérification formelle de programmes.  La conception, la formalisation et la mise en oeuvre de langages de programmation jouent un rôle central dans les activités de l'équipe.  Les principaux thèmes de recherche sont les systèmes de types et les algorithmes d'inférence de types, la vérification déductive de programmes, le parallélisme à mémoire partagée, et les modèles mémoires faiblement cohérents. L'équipe s'intéresse tout autant aux fondements théoriques qu'aux applications réalistes.