Skip to Main content Skip to Navigation

Software, between mind and matter

Abstract : 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.)
Complete list of metadata

Cited literature [37 references]  Display  Hide  Download
Contributor : Xavier Leroy Connect in order to contact the contributor
Submitted on : Wednesday, April 22, 2020 - 5:36:10 PM
Last modification on : Wednesday, June 30, 2021 - 3:35:36 AM


Files produced by the author(s)


  • 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⟩



Les métriques sont temporairement indisponibles