Sites Inria

There are 4 Results with the keyword : "Xavier Leroy"

Prix et distinctions

Xavier Leroy - Prix Van Wijngaarden 2016

3/10/2016

Le 2 Novembre 2016 marquera le 100e anniversaire de Adriaan van Wijngaarden (1916-1987), fondateur de la science informatique aux Pays-Bas. Il sera célébré une soirée festive au Nemo Science Museum à Amsterdam et le 70e anniversaire de la fondation (1946). Au programme comprendra la cérémonie du prix Van Wijngaarden.

Keywords:

Home > Centre > Paris > News > Xavier Leroy - Prix Van Wijngaarden 2016

More

Xavier Leroy, in charge of the Inria project-team Gallium of the research centre Inria of Paris © Inria / Photo G. Scagnelli

Awards and distinctions

Most influential POPL paper

25/01/2016

Xavier Leroy, Gallium's head of the project-team received the "Most influential POPL paper from l'ACM SIGPLAN".

Keywords:

Home > Centre > Paris > News > Most influential POPL paper

More

Award

Xavier Leroy, Royal Society Milner Award 2016

20/07/2015

Xavier Leroy,Gallium project team leader at the Inria Paris-Rocquencourt research centre, has been awarded the Royal Society Milner Award 2016 in recognition of his research on the OCaml functional programming language and on the formal verification of compilers. This prize, created in homage to Professor Robin Milner, rewards a European researcher for his or her exceptional contribution to computer science.

Keywords:

Home > Centre > Paris > News > Xavier Leroy, Royal Society Milner Award 2016

More

Xavier Leroy, in charge of the Inria project-team Gallium of the research centre Inria of Paris © Inria / Photo G. Scagnelli

Prix et distinction

With Xavier Leroy, computer science confirms its presence at the Collège de France

15/06/2018

At the end of May, Xavier Leroy, head of the Gallium project team at Inria, was appointed professor at the Collège de France for the "Software Sciences" permanent chair. This is great recognition for his scientific career, but also for the discipline he champions: fundamental computer science.

Keywords:

Home > Centre > Paris > News > Avec Xavier Leroy, l’informatique confirme sa présence au Collège de France

More

Top