Software, between mind and matter - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Books Year : 2020

Software, between mind and matter


A computer can perform many different functions just by changing the piece of software it executes. This amazing plasticity of software enabled the digital computer to escape data centers and spread everywhere, from everyday objects to critical infrastructures. Which fundamental concepts underlie this technical feat? How can we master the amazing and often frightening complexity of software? How can we avoid programming bugs and resist security attacks? How can we establish that a piece of software is safe and trustworthy? To these questions, mathematical logic offers answers that enable us to build a scientifically rigorous approach to software. (This is an English translation of Xavier Leroy's inaugural lecture at Collège de France.)
Fichier principal
Vignette du fichier
inaugural-lecture.pdf (300.7 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-02392159 , version 1 (04-12-2019)
hal-02392159 , version 2 (22-04-2020)


  • HAL Id : hal-02392159 , version 2


Xavier Leroy. Software, between mind and matter. Collège de France, 2020, Inaugural lecture at Collège de France. ⟨hal-02392159v2⟩
375 View
317 Download


Gmail Facebook X LinkedIn More