Pourquoi et comment le monde devient numérique

Conférence donnée par Gérard Berry,  membre de l’Académie des sciences et du «Collège de France», créateur du langage de programmation Esterel et Chevalier de la légion d’honneur.

Le numérique et l’informatique constituent une révolution majeure dans de nombreux secteurs: l’industrie, la communication, le transport, la médecine, la science, le divertissement, la culture, etc. La liste ne cesse de croître. Il ne s’agit pas simplement d’une révolution mais d’un véritable changement de civilisation.
Pour autant, les opportunités mais aussi les dangers du numérique ne sont que peu appréhendés par la majorité de la population : le sujet est relativement récent et n’est ni assez enseigné à l’école, ni expliqué dans les médias.
L’informatique repose sur cinq piliers principaux: les données, les algorithmes, les langages, les machines et les interfaces avec le monde physique (y compris nous). Il s’agira de montrer comment et pourquoi les algorithmique changent profondément ce que nous faisons, ce que nous construisons, et comment nous nous organisons. Ce nouveau levier de l’information, à la fois souple et efficace, rend le 21e siècle différent du 20e siècle, qui s’était construit autour du triptyque matière-énergie-espace.
Enfin, en étudiant les « bugs logiciels », il conviendra d’aborder une difficulté fondamentale mais souvent sous-estimée de l’informatique: le logiciel qui fait ce qu’on lui demande de faire et seulement cela et d’une manière qu’il ne puisse pas être compromis par des attaques externes. M. BERRY présentera les nouvelles méthodes scientifiques pour éradiquer ou au moins réduire les bugs logiciels et veiller à la sécurité des transactions.

Ancien élève de l’École polytechnique. Il tient la chaire Informatique et sciences numériques au Collège de France depuis 2012. Sa contribution scientifique concerne quatre sujets principaux : le traitement formel des langages de programmation et leurs relations avec la logique mathématique, la programmation parallèle et temps réel, la conception assistée par ordinateur de circuits intégrés, et la vérification formelle des programmes et circuits. Il est le créateur du langage de programmation Esterel.

Conférence en anglais. Entrée libre:

En savoir plus : http://algebra.digital/gerard-berry-guest-lecture/