Skip to Main content Skip to Navigation
Books

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 metadatas

Cited literature [36 references]  Display  Hide  Download

https://hal.inria.fr/hal-02392159
Contributor : Xavier Leroy <>
Submitted on : Wednesday, December 4, 2019 - 9:30:00 AM
Last modification on : Wednesday, June 17, 2020 - 11:18:06 AM
Document(s) archivé(s) le : Thursday, March 5, 2020 - 12:48:17 PM

File

plain.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02392159, version 1

Citation

Xavier Leroy. Software, between mind and matter. Collège de France, 2019, Inaugural lecture at Collège de France. ⟨hal-02392159v1⟩

Share

Metrics

Record views

40

Files downloads

104