Sites Inria

There are 4 Results with the keyword : "Inria awards 2018"

Xavier Leroy © Inria / Photo G. Scagnelli

Inria Awards 2018

Xavier Leroy : Inria - French Académie des sciences Grand Prize

In November 2018, Xavier Leroy will join the Collège de France as the ‘Software Sciences’ chair. A marvellous acknowledgement for the architect of two great Inria successes: the functional programming language OCaml and the formally verified compiler CompCert.

Keywords:

Home > Institute > Inria in brief > Prix Inria par année > 2018 Prize winners > Xavier Leroy : Grand Prix

More

Inria Awards 2018

Inria Awards 2018 winners

14/12/2018

Lets's discover the men and women who contribute to innovative computer science and mathematics and drive the development of our digital world. The Inria Awards also underline the contributions of research and innovation support teams who play a significant part in the efficiency and successes of Inria. The 2018 winners are honoured on December 18, 2018 at a ceremony dedicated to them at the Collège de France.

Keywords:

Home > News > News from Inria > Palmarès des Prix Inria 2018

More

Exposition SHAPE Prix Inria 2018 © Inria / Photo G. Scagnelli

Inria Awards 2018

From Shape to the digital inventors exhibition : Research Support Award

On paper, the only things Marie-Pierre Diquelou, Thierry Boche and Rémy Taillefer had in common were working at Inria in Rocquencourt and a certain interest in history. And yet, together, they have devised and produced a vast retrospective exhibition for Inria's 50th anniversary.

Keywords:

Home > Institute > Inria in brief > Prix Inria par année > 2018 Prize winners > Du Shape aux inventeurs du numérique : Prix d'appui

More

Sonarqube Prix Inria 2018

Inria Awards 2018

SonarQube@Inria : Research Support Award

Christophe Demarey, Hervé Mathieu, Florent Pruvost and Didier Vojtisek are engineers in the Experimentation and Development departments (SED) at the Lille, Bordeaux and Rennes research centres, and Guillaume Cassonnet is an engineer in the IT department in Bordeaux. Together they have developed a platform for the analysis and continuous control of software quality, aimed at all of the Inria research teams.

Keywords:

Home > Institute > Inria in brief > Prix Inria par année > 2018 Prize winners > SonarQube@Inria : Prix d'appui

More

Top