Algorithmes, machines et langages

Partager
 

Fetch error

Hmmm there seems to be a problem fetching this series right now. Last successful fetch was on April 07, 2020 16:32 (6M ago)

What now? This series will be checked again in the next day. If you believe it should be working, please verify the publisher's feed link below is valid and includes actual episode links. You can contact support to request the feed be immediately fetched.

Manage series 1076976
Par Gérard Berry, découvert par Player FM et notre communauté - Le copyright est détenu par l'éditeur, non par Player F, et l'audio est diffusé directement depuis ses serveurs. Appuyiez sur le bouton S'Abonner pour suivre les mises à jour sur Player FM, ou collez l'URL du flux dans d'autre applications de podcasts.
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.

33 episodes