Pourquoi et comment le monde devient numérique

/in /by

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/

Kako i zašto informatika okreće svijet naglavačke

/in /by

Predavanje će održati Gérard Berry, član Francuske akademija znanosti, profesor na “Collège de France”, tvorac programskog jezika Esterel i Vitez legije časti.

Informatika trenutno donosi glavnu revoluciju u mnogim sektorima: industriji, komunikaciji, transportu, medicini, znanosti, zabavi, kulturi itd., a taj popis nastavlja rasti. Ona to radi na tako snažan način da zapravo oblikuje posve novi svijet. No, njezine stvarne mogućnosti, prednosti i rizike većina ljudi nije dobro razumjela, kako zbog toga što je to relativno recentna tema, tako i zbog toga što se još uvijek ne uči dovoljno u školi niti objašnjava u medijima. Mi započinjemo s objašnjavanjem kako informatika počiva na pet glavnih stupova: podaci, algoritmi, jezici, strojevi i sučelja prema fizičkom svijetu (uključujući i nas same). Potom, koristeći se raznolikošću ilustrativnih primjera u vrlo različitim područjima, pokazujemo kako i zašto algoritamsko razmišljanje duboko mijenja ono što radimo, ono što gradimo i kako organiziramo. Pokazujemo zašto moć i fleksibilnost novog informacijskog zaokreta čini 21. stoljeće tako različitim od 20. stoljeća, koje je bilo oblikovano trokutom tvar-energija-svemir. Naposljetku, preciznim proučavanjem softverskih pogrešaka, raspravljamo o temeljnim, ali konstantno podcijenjenim poteškoćama informatike: kreiranje softvera koji radi ono što treba raditi i samo to te, nadalje, na način na koji ne može biti ugrožen vanjskim napadima. Skiciramo nove znanstvene metode kako bi iskorijenili ili barem smanjili softverske pogreške te osigurali sigurnost informacije i transakcije.

Bivši učenik Politehničke škole. Drži katedru Informatike i digitalnih znanosti na Collège de France od 2012. godine. Njegov se znanstveni doprinos odnosi na četiri glavna područja : formalni tretman programskih jezika i njihovi odnosi s matematičkom logikom, paralelno programiranje u realnom vremenu, koncepcija podržana računalom integriranih čipova i formalna verifikacija programa i čipova. Tvorac je programskog jezika Esterel.

Predavanje na engleskom. Ulaz slobodan:

Više informacija na : http://algebra.digital/gerard-berry-guest-lecture/