« Sciences du logiciel », une nouvelle chaire au collègue de France

Le Collège de France accueille la nouvelle chaire « Sciences du logiciel » avec Xavier Leroy, Directeur de recherche chez Inria. Xavier Leroy est un spécialiste des nouveaux langages et outils de programmation, ainsi que de la vérification formelle de logiciels critiques afin de garantir leur sûreté et leur sécurité.

Retrouvons l’article publié par Binaire « À la recherche du logiciel parfait« , 12 novembre 2018 consacré à cette chaire Sciences du logiciel occupée par Xavier Leroy en 2018-2019.

Pour suivre le contenu du programme proposé et (ré)écouter la leçon inaugurale du 15 novembre 2018, consultez le site du Collège de France.