 |
L'hyperpuissance de l'informatique de Gérard Berry
La RATP décida de coopérer avec Abrial pour réaliser le logiciel embarqué de Meteor ,qui devait lui être totalement automatique. L’idee était de construire et vérifier formellement le logiciel en utilisant la méthode B d’Abrial,dont la logique est une forme restreinte de théorie des ensembles de premier ordre. 👏🏻 |
Nationalité : France
Né(e) le : 25/12/1948
Né(e) le : 25/12/1948
Biographie :
Gérard Berry est polytechnicien et ingénieur des Mines, chercheur en informatique et un des meilleurs connaisseurs français de la discipline, membre de l'Académie des sciences française (depuis 2002), de l'Académie des technologies (depuis 2005), et de l'Academia Europaea (depuis 1993).Depuis septembre 2012, il est professeur au Collège de France sur la chaire « Algorithmes, machines et langages », tout en restant collaborateur extérieur du projet Inria Indes. Son cours 2012-2013 a pour nom « L'informatique du temps et des événements »
Il travaille sur les langages de programmation, leur sémantique mathématique, la compilation de ces langages sur cibles matérielles ou logicielles, et la vérification formelle des programmes et des circuits électroniques.
Gérard Berry est polytechnicien et ingénieur des Mines, chercheur en informatique et un des meilleurs connaisseurs français de la discipline, membre de l'Académie des sciences française (depuis 2002), de l'Académie des technologies (depuis 2005), et de l'Academia Europaea (depuis 1993).Depuis septembre 2012, il est professeur au Collège de France sur la chaire « Algorithmes, machines et langages », tout en restant collaborateur extérieur du projet Inria Indes. Son cours 2012-2013 a pour nom « L'informatique du temps et des événements »
Il travaille sur les langages de programmation, leur sémantique mathématique, la compilation de ces langages sur cibles matérielles ou logicielles, et la vérification formelle des programmes et des circuits électroniques.
Source : Wikipedia, Magazine littéraire.
Ajouter des informations
étiquettes
Videos et interviews (8)
Voir plusAjouter une vidéo
Présentation par Gérard Berry, titulaire de la chaire "Algorithmes, machines et langages", de son cours au Collège de France 2018-2019. Plus d'informations : https://www.college-de-france.fr/site/gerard-berry/course-2018-2019.htm
Citations et extraits (4)
Ajouter une citation
 |
La pensée informatique de Gérard Berry
Un algorithme, c'est une méthode systématique pour faire des choses utiles avec une machine
|
|
La pensée informatique de Gérard Berry
On le voit, le système éducatif met en place des choses, un pied devant, un pied derrière. Mais ce qui compte, c'est le pied devant, et on poussera collectivement les fesses pour qu'elles passent la porte !
|
|
La pensée informatique de Gérard Berry
L'informatique : c'est une façon de penser et d'agir radicalement différente.
|
Acheter les livres de cet auteur sur
 |  |  |  |  |
Les Dernières Actualités
Voir plus
Auteurs proches de Gérard Berry
Quiz
Voir plus
Harry Potter à l'école des sorciers
Quel est le titre original de ce livre ?
Harry Potter at witch's school
Harry Potter vs Voldemort
Harry Potter and the philosopher's stone
17 questions
744 lecteurs ont répondu
Thèmes :
harry potter 1Créer un quiz sur cet auteur744 lecteurs ont répondu