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


Pierre-Yves Oudeyer
La robotique humanoïde à TEDx Cannes


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