Research

Distinction

Leslie Lamport Leslie Lamport - © Bernard Lachaud

Leslie Lamport honoured

ACM Turing Award Goes to Pioneer


Software

Coq takes the ACM Software System Award


Smart Cities

CITRIS, Inria and PRIME Sign Accord
Smart Cities Research


Researchers here & elsewhere

Ekaterina Alekseeva

Ekaterina Alekseeva
Russia


Burkina / China Photos : N. St-Pierre / Inria

Gang Zheng & Aïda Ouangraoua
Meeting Burkina / China

Find a team