Sites Inria

Version française

Prix et distinctions

3/10/2016

Xavier Leroy - Prix Van Wijngaarden 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.

Xavier Leroy  sera un des deux lauréats à recevoir du CWI-Amsterdam le prix van Wijngaarden 2016  pour sa contribution exceptionnelle à la science informatique et en mathématiques.

Xavier Leroy  est un chercheur scientifique à lnria où il dirige l'équipe de recherche de Gallium . Ses recherches portent sur les langues et outils de programmation, et sur la vérification formelle des logiciels en utilisant le programme d'analyse de preuve et statique. Il est l'architecte et l'un des principaux développeurs du langage de programmation fonctionnel OCaml  et du compilateur C "CompCert"  formellement vérifié.

En savoir plus

Keywords: Prix Van Wijngaarden 2016 Xavier Leroy Gallium

Top