Entretien avec Xavier Leroy : "En informatique la notion de confiance est fondamentale"

Dans le périodique : La Recherche (Paris. 1970), n°548 (06/2019)
• • Personne interviewée : Xavier Leroy
  • Intervieweur : Philippe Pajot
• Pages : p.4-8
  • Langues : Français
• • Nature du document : documentaire
  • Note générale : Bibliographie.
  • Résumé :

    Entretien avec Xavier Leroy, responsable de la chaire sciences du logiciel au Collège de France et spécialiste de la sémantique des langages informatiques, à propos de la vérification des logiciels : la définition d'un programme, le rôle des langages ; ses travaux de recherche avec la création du langage OCaml ; l'utilisation de méthode formelle de vérification des programmes afin de les sécuriser (cas de l'échec du premier vol du lanceur Ariane 5). Encadré : éléments biographiques.

• • Descripteurs : contrôle / langage de programmation