EN FR
EN FR


Section: Partnerships and Cooperations

International Initiatives

Inria International Partners

Informal International Partners

We have a range of long- and short-term collaborations with various universities and research labs. We summarize them by project:

  • F*: Microsoft Research (Cambdridge, Redmond), IMDEA (Madrid)

  • TLS analysis: Microsoft Research (Cambridge), Johns Hopkins University, University of Michigan, University of Pennsylvania

  • Web Security: Microsoft Research (Cambridge, Redmond), Imperial College (London)

  • Micro-Policies: University of Pennsylvania, Portland State University