Recherche

Distinctions

Logiciel
Coq reçoit l'ACM System Software Award


Leslie Lamport Leslie Lamport - © Photo Bernard Lachaud

Leslie Lamport prix Turing 2013
Un pionnier récompensé


Rencontre

Xavier Duportet
Les antibiotiques du futur


Renata Cruz Teixeira

Renata Cruz Teixeira
Améliorer l’expérience utilisateur sur Internet


Portraits

Portrait Mariana-Galvao-Ferrarini © Inria

Mariana Galvao-Ferrarini
Des algorithmes pour mieux cerner l'évolution


Ekaterina Alekseeva

Ekaterina Alekseeva
Chercheurs d'ici et d'ailleurs : Russie

Rechercher une équipe

En direct