À proposConditionsConfidentialitéContact
 
Actualisation
Algorithmes, machines et langages - Gérard Berry

Algorithmes, machines et langages - Gérard Berry

Date de sortie : 2019-02-26
Algorithmes, machines et langages - Gérard Berry - QR Code
15 épisodes
Vidéo
Écouter sur Apple Podcasts
15 épisodes
Vidéo
Écouter sur Apple Podcasts
Date de sortie : 2019-02-26
L’épisode le plus récent
Où va l'informatique ? - VIDEO

Où va l'informatique ? - VIDEO

Gérard Berry - Leçon de clôture - VIDEO
Durée : 1:00:46
Gérard Berry
Algorithmes, machines et langages
Collège de France
LEÇON DE CLÔTURE
Où va l'informatique ?
26 février 2019
Id. d’épisode : 1000513306620
GUID : berry-20190226.mp4
Date de publication : 26/2/2019 à 19:01:00

Description

Ancien élève de l’École polytechnique, ingénieur général du Corps des mines, membre de l’Académie des science, de l’Académie des technologies et de l’Academia Europaea, chercheur à l’École des mines de Paris et à l’INRIA de 1970 à 2000, Directeur scientifique d’Esterel Technologies de 2001 à 2009, Gérard Berry est actuellement chercheur à l’Institut National de Recherche en Informatique et Automatique (INRIA) et président de la commission d’évaluation de cet institut. Sa contribution scientifique concerne trois principaux sujets : le lambda calcul et la sémantique formelle des langages de programmation, la programmation parallèle et temps réel, et la conception assistée par ordinateur de circuits intégrés. Il est le créateur du langage de programmation Esterel.

Apple Podcasts : Avis des utilisateurs

Pas d'entrée