Section: Partnerships and Cooperations

International Initiatives

Inria International Partners

Informal International Partners

We have important collaborations with the team of Thierry Coquand at Chalmers and University of Göteborg.

We are setting up a collaboration with the team of Adam Chlipala at the Massachusetts Institute of Technology.