Xavier Leroy

Biography

Xavier Leroy, docteur en informatique de l'université Paris 7 (1992), est directeur de recherche Inria. Il dirige l'équipe Gallium du centre Inria Paris-Rocquencourt. Ses travaux portent sur les langages et outils de programmation pour la sûreté et la sécurité du logiciel. Il est l'architecte et le principal développeur du langage de programmation OCaml et du compilateur formellement vérifié CompCert.

Talks

Introduction scientifique

Track: Rencontre Inria-Industrie sur la qualité logicielle

Xavier Leroy d’Inria proposera un panorama sur les outils de vérification de logiciels (analyse statique, vérification déductive, etc) et leur contribution à l’amélioration de la sûreté et la sécurité du logiciel.

Organization: Inria

Website: http://www.inria.fr/


Our partners

Institutional partners

Diamond Sponsor

Inria

Platinum sponsors

Ater Way Smile Microsoft Suse

Gold sponsors

Red Hat enovance

Silver sponsors

Abilian af83 blackduck elasticsearch HP jamendo La Poste Palamida StackOverflow

Organizer

Systematic

Co-organizers

af83 Alter Way Inria Smile

Community Partners

adullact aful cnll ploss OSDC.fr OW2 Silicon Sentier

WebTV Partner

Intelli'N

Press partners

01business 3Dnatives l'atelier channelbiz CIO Collaboratif-info i-entreprise frenchweb l'informaticien it espresso it expert i-solo le journal du net linuxfr.org linux magazine linux pratique le monde informatique reseaux telecoms silicon terra eco ubergizmo