 |
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
|
Rejoignez Babelio pour découvrir vos prochaines lectures connexion avec Inscription Classique
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 (10)
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 (3)
Ajouter une citation
|
La pensée informatique de Gérard Berry
L'informatique : c'est une façon de penser et d'agir radicalement différente.
|
 |
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. 👏🏻 |
Acheter les livres de cet auteur sur
 |  |  |  |  |
Les Dernières Actualités
Voir plus
Auteurs proches de Gérard Berry
Quiz
Voir plus
Éléments chimiques
Qui n'est pas un gaz rare ?
Argon (Ar)
Xénon (Xe)
Chlore (Cl)
Radon (Rn)
12 questions
6 lecteurs ont répondu
Thèmes :
chimie
, périodique
, élémentsCréer un quiz sur cet auteur6 lecteurs ont répondu