Equipe-projet

CAMBIUM

Langages de programmation : systèmes de types, concurrence, preuve de programme
Langages de programmation : systèmes de types, concurrence, preuve de programme

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.

Centre(s) inria
Centre Inria de Paris
En partenariat avec
Collège de France

Contacts

Responsable de l'équipe

Helene Milome

Assistant(e) de l'équipe