AccueilMes livresAjouter des livres
Découvrir
LivresAuteursLecteursCritiquesCitationsListesQuizGroupesQuestionsPrix Babelio
Rejoignez Babelio pour découvrir vos prochaines lectures

Note moyenne 3.75 /5 (sur 10 notes)

Nationalité : France
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.

Source : Wikipedia, Magazine littéraire.
Ajouter des informations
étiquettes
Videos et interviews (10) Voir plusAjouter une vidéo
Vidéo de

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
Anis0206   21 juillet 2020
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
Commenter  J’apprécie          10
Anis0206   21 juillet 2020
La pensée informatique de Gérard Berry
L'informatique : c'est une façon de penser et d'agir radicalement différente.
Commenter  J’apprécie          00
Lasloudjikamel   20 octobre 2019
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.

👏🏻
Commenter  J’apprécie          00

Acheter les livres de cet auteur sur

FnacAmazonRakutenCulturaMomox



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 auteur