INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE

Their core work

INRIA is France's national research institute dedicated to computer science and applied mathematics. They develop foundational algorithms, software, and computational methods across areas including high-performance computing, cryptography, robotics, artificial intelligence, and formal verification. Their work spans from pure mathematical research (type theory, numerical analysis) to applied systems like exascale computing platforms, VR/AR interfaces, and brain simulation infrastructure. INRIA functions as both a research powerhouse producing fundamental advances and a technology transfer engine that moves computational methods into industry and European research infrastructure.

What they specialise in

How they've shifted over time

In the early H2020 period (2014-2018), INRIA focused heavily on IoT infrastructure and testbeds, cloud computing, compiler optimization, and foundational security research — building the computational plumbing of European digital infrastructure. By the later period (2019-2022), a clear pivot emerged toward exascale HPC, AI/machine learning, simulation, and immersive technologies (VR, AR, haptics), alongside deepening involvement in European research infrastructures like EOSC. The shift reflects a move from enabling infrastructure to exploiting it — from building computing platforms to applying massive computation for AI, simulation, and immersive experiences.

INRIA is converging its HPC, AI, and simulation capabilities — expect them to pursue large-scale AI training infrastructure and digital twin projects in the next funding cycle.

How they like to work

INRIA operates as a versatile partner that can both lead and contribute. With 53 projects as coordinator (27% of their portfolio) and 116 as participant, they comfortably take the helm on research-intensive projects (especially ERC grants) while embedding as a computational specialist in larger consortia. Their 1,358 unique partners across 62 countries make them one of the most connected research nodes in Europe — this is a hub organization that brings network access alongside technical depth.

With 1,358 unique consortium partners across 62 countries, INRIA maintains one of the broadest collaboration networks of any European research institute. Their reach is truly global, though the densest connections are within the EU, particularly with other national HPC centers and major technical universities.

What sets them apart

INRIA combines the depth of a fundamental research institute with the scale and infrastructure mandate of a national computing center — few organizations in Europe can match this dual capability. Their 19 ERC Starting Grants signal exceptional individual researcher talent, while their CSA and infrastructure projects show institutional capacity to coordinate pan-European computing strategy. For consortium builders, INRIA offers a rare package: world-class algorithms people who also understand how to deploy at European scale.

Highlights from their portfolio

• SPOOC
  EUR 1.9M ERC-funded project on automated security proofs for cryptographic protocols — INRIA as coordinator, their largest single grant in the dataset.
• ResiBots
  EUR 1.5M ERC Starting Grant on robots with animal-like resilience — showcases INRIA's strength in bio-inspired robotics and their ability to win competitive individual excellence funding.
• CoqHoTT
  EUR 1.5M ERC grant on Homotopy Type Theory in the Coq proof assistant — reflects INRIA's deep roots in formal methods and mathematical foundations of computer science.