Plusieurs centres de recherche se sont associés afin de mettre sur pied cette collaboration internationale : le CNRS, l'université de Bordeaux, l'ENS Paris-Saclay, le CMI (Chennai Mathematical Institute) et l'IMSC (Institute of Mathematical Sciences), ces deux derniers étant indiens.
Ensemble, ils travailleront notamment sur l'informatique théorique : algorithmique, logique, combinatoire, modèles du calcul, complexité, ainsi que des méthodes formelles. Des applications pratiques sont également évoquées avec la vérification, les systèmes distribués et la science des données.
De plus amples informations sont disponibles sur ce site.
Commentaires (0)