Sites Inria

There are 1 Results with the keyword : "Gallium team"

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

Top