Accueil du site > Europe et international > Unités mixtes internationales (UMI)




Recherchez sur ce site


UMI Relax en Inde

Créé au 1er janvier 2017, le laboratoire franco-indien Research Lab in Computer Science (ReLaX) est situé à Chennai. Historiquement centrées sur les méthodes formelles et leurs applications à la vérification, les recherches menées dans ce laboratoire concernent maintenant l’ensemble de l’informatique théorique et de ses applications, notamment en matière de sûreté et de sécurité.

ReLaX associe le CNRS, l’École Normale de Cachan, l’Université de Bordeaux, le Chennai Mathematical Institute (CMI), l’Institute of Mathematical Sciences (IMSc) et l’Indian Institute of Sciences (IISc).

Mots-clés : méthodes formelles et applications