Sites Inria

English version

Prix et distinction

20/07/2015

Xavier Leroy reçoit le Royal Society Milner Award 2016

Xavier Leroy, responsable de l'équipe-projet Gallium du centre de recherche Inria Paris - Rocquencourt, a reçu le Royal Society Milner Award 2016 en reconnaissance de ses recherches sur le langage OCaml de programmation fonctionnelle et sur la vérification formelle de compilateurs. Ce prix, créé en hommage au professeur Robin Milner, récompense un chercheur européen pour sa contribution exceptionnelle en informatique.

C'est un grand honneur de recevoir ce prix.  Qu'il porte le nom de Milner me touche tout particulièrement.  Robin Milner était un pionnier de l'informatique fondamentale qui a fondé des pans entiers de recherche sur les langages de programmation, la preuve "sur machine", et les calculs de processus. Mes travaux sur le langage OCaml de programmation fonctionnelle et sur la vérification formelle de compilateurs, ainsi que ceux de nos collègues Inria sur l'assistant de preuves Coq, s'inscrivent dans cet héritage.  C'est émouvant de voir tout le chemin qui a été parcouru depuis les géniales idées de Milner des années 1970 jusqu'à des outils aussi puissants et aussi largement utilisés qu'OCaml et Coq.

Mots-clés : Équipe Gallium OCaml Centre de recherche Inria Paris-Rocquencourt Xavier Leroy Coq

Haut de page

Suivez Inria