•  

Introduction scientifique

A session at Open World Forum 2013

  • Xavier Leroy

Friday 4th October, 2013

9:10am to 9:30am (PMT)

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.

About the speaker

This person is speaking at this event.
Xavier Leroy

Unknown, Inria

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.

Next session in Gopher (2.06)

9:30am Savoir-faire et logiciels open source - REGAL by Gilles Muller and Julia Lawall

Sign in to add slides, notes or videos to this session

Sign in to track this session

Open World Forum 2013

France France, Paris

3rd5th October 2013

Tell your friends!

When

Time 9:10am9:30am PMT

Date Fri 4th October 2013

Where

Gopher (2.06), Beffroi de Montrouge

Short URL

lanyrd.com/scqpmf

Official event site

www.openworldforum.org

View the schedule

Share

See something wrong?

Report an issue with this session