Skip to Main content Skip to Navigation

Software, between mind and matter

Xavier Leroy 1
1 Chaire Sciences du logiciel
CAMBIUM - Langages de programmation : systèmes de types, concurrence, preuve de programme
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 [37 references]  Display  Hide  Download
Contributor : Xavier Leroy <>
Submitted on : Wednesday, April 22, 2020 - 5:36:10 PM
Last modification on : Thursday, January 7, 2021 - 3:37:13 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⟩



Record views


Files downloads