Sites Inria

Il y a 8 Résultats avec le mot clé : "Xavier Leroy"

Xavier Leroy Xavier Leroy

Distinction

Prix La Recherche 2011

4/11/2011

Xavier Leroy, responsable de l'équipe-projet Gallium du centre de recherche Inria Paris - Rocquencourt, a obtenu le prix La Recherche 2011 en sciences de l'information le 18 octobre dernier aux côtés de Sandrine Blazy (université de Rennes, EPI Celtique), Zaynah Dargaye (maintenant au CEA), Jean-Baptiste Tristan (actuellement à Harvard). Récompensant ainsi leurs travaux sur la vérification formelle de compilateurs réalistes. 

Mots-clés :

Accueil > Centre > Paris > Actualités > Prix La Recherche 2011

Lire la suite

Prix et distinctions

Xavier Leroy - Prix Van Wijngaarden 2016

3/10/2016

Le 2 novembre 2016 marquera le 100e anniversaire de la naissance d’Adriaan van Wijngaarden (1916-1987), fondateur de la science informatique aux Pays-Bas. Une soirée festive célébrant cet anniversaire ainsi que les 70 ans de la fondation (créée en 1946) se tiendra à cette date au au Nemo Science Museum à Amsterdam : en cette occasion aura lieu également la remise du prix Van Wijngaarden 2016.

Mots-clés :

Accueil > Centre > Paris > Actualités > Xavier Leroy - Prix Van Wijngaarden 2016

Lire la suite

Xavier Leroy, responsable de l'équipe-projet Gallium du centre de recherche Inria de Paris © Inria / Photo G. Scagnelli

Recherche

Xavier Leroy nommé Fellow de l'ACM

10/12/2015

Xavier Leroy, responsable de l'équipe-projet Gallium du centre de recherche Inria de Paris, fait partie des nouveaux Fellows distingués par la société savante américaine ACM en 2015. L'ACM salue ainsi ses travaux décisifs sur les langages de programmation et les compilateurs, leur fiabilité et leur sécurité.

Mots-clés :

Accueil > Centre > Paris > Actualités > Xavier Leroy nommé Fellow de l'ACM

Lire la suite

Xavier Leroy, responsable de l'équipe-projet Gallium du centre de recherche Inria de Paris © Inria / Photo G. Scagnelli

Prix et distinctions

Most influential POPL paper

25/01/2016

Xavier Leroy, responsable de l'équipe-projet Gallium a reçu le "Most influential POPL paper" de l'ACM SIGPLAN.

Mots-clés :

Accueil > Centre > Paris > Actualités > Most influential POPL paper

Lire la suite

Prix et distinction

Xavier Leroy, Royal Society Milner Award 2016

20/07/2015

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.

Mots-clés :

Accueil > Centre > Paris > Actualités > Xavier Leroy, Royal Society Milner Award 2016

Lire la suite

Xavier Leroy, responsable de l'équipe-projet Gallium du centre de recherche Inria de Paris © Inria / Photo G. Scagnelli

Prix et distinction

Avec Xavier Leroy, l’informatique confirme sa présence au Collège de France

A.A. (*) - 15/06/2018

Fin mai dernier, Xavier Leroy, responsable de l’équipe-projet Gallium chez Inria, a été nommé professeur au Collège de France pour la chaire permanente "Sciences du logiciel". Une très belle reconnaissance pour son parcours scientifique mais également pour la discipline qu’il défend, l’informatique fondamentale.

Mots-clés :

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

Lire la suite

© Inria / Photo G. Maisonneuve

Prix

Les lauréats des Prix Inria 2018

Laurence Goussu - 10/12/2018

Pour la 8e année consécutive, Inria, l’Académie des sciences et Dassault Systèmes mettent à l’honneur des chercheurs ayant apporté une contribution majeure dans le domaine des sciences du numérique. Les travaux des lauréats 2018 des Prix Inria illustrent l’impact du numérique et l’interdisciplinarité avec cette année des projets dans les domaines de la sécurité des logiciels, de l’éducation et de la santé. Deux prix récompensent également des personnels d’Inria pour leur implication dans le rayonnement de l’Institut, avec des projets transversaux.

Mots-clés :

Accueil > Actualité > Médiacenter > Les lauréats des Prix Inria 2018

Lire la suite

Haut de page

Suivez Inria