Algorithmes, machines et langages

Gérard Berry

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.

Nombre d'épisodes: 15

Dernier épisode: 2019-03-04

Technologies

Où pouvez-vous écouter?

Épisodes

Combien y a-t-il d'épisodes de Algorithmes, machines et langages ?

Il y a 15 épisodes disponibles de Algorithmes, machines et langages.

De quoi parle Algorithmes, machines et langages ?

Nous avons classé Algorithmes, machines et langages comme :

Technologies

Où pouvez-vous écouter Algorithmes, machines et langages ?

Algorithmes, machines et langages est disponible, entre autres, sur :

Apple Podcasts
Podtail
Google Podcasts

Quand Algorithmes, machines et langages a-t-il commencé ?

Le premier épisode de Algorithmes, machines et langages dont nous disposons est sorti le 2 avril 2015.

Qui crée le podcast Algorithmes, machines et langages ?

Algorithmes, machines et langagesest produit et créé par Gérard Berry.