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