07 - Le temps et les événements en informatique : Synthèse matérielle et compilation logicielle d'Esterel v7

Gérard Berry Algorithmes, machines et langages Le temps et les événements en informatique : Synthèse matérielle et compilation logicielle d'Esterel v7 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.

You can listen to 07 - Le temps et les événements en informatique : Synthèse matérielle et compilation logicielle d'Esterel v7 online on Radio and Podcast. Open the player on this page to stream the available audio.

07 - Le temps et les événements en informatique : Synthèse matérielle et compilation logicielle d'Esterel v7 is an episode from Algorithmes, machines et langages by Collège de France.

This episode is 59:00 long.

This episode was published on May 21, 2013.

Yes. Use the heart button on the episode page to add it to your favorite episodes list.

Yes. This page shows related episodes from Algorithmes, machines et langages when more episodes are available from the podcast feed.