There are 4 Results with the keyword : "Xavier Leroy"
Prix et distinctions
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.
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.
Prix et distinction
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.