Gérard BerryAlgorithmes, machines et langagesLe temps élargi : horloges multiples, temps discrets et temps continuQuatrième leçon : L'électricité est constructive : l'équivalence entre la propagation électrique et le calcul Booléen constructif pour les circuits synchrones cycliques

Gérard Berry Algorithmes, machines et langages Le temps élargi : horloges multiples, temps discrets et temps continu Quatrième leçon : L'électricité est constructive : l'équivalence entre la propagation électrique et le calcul Booléen constructif pour les circuits synchrones cycliques

04 - Le temps élargi : horloges multiples, temps discrets et temps continu

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.

Education

Courses

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.

Share 04 - Le temps élargi : horloges multiples, temps discrets et temps continu

Sign up to save your podcasts

04 - Le temps élargi : horloges multiples, temps discrets et temps continu

04 - Le temps élargi : horloges multiples, temps discrets et temps continu

More shows like Algorithmes, machines et langages - Gérard Berry

Paléontologie humaine - Michel Brunet

Philosophie du langage et de la connaissance - Jacques Bouveresse

Milieux Bibliques - Thomas Römer

Histoire du Coran. Texte et transmission - François Déroche

Économie des institutions, de l'innovation et de la croissance - Philippe Aghion

Culture écrite de l'antiquité tardive et papyrologie byzantine - Jean-Luc Fournet

Innovation technologique Liliane Bettencourt (2016-2017) - Didier Roux

Chaire Européenne (2016-2017) - Alain Wijffels

Philosophie du langage et de l'esprit - François Recanati

Informatique et sciences numériques (2013-2014) - Nicholas Ayache

Innovation technologique Liliane Bettencourt (2014-2015) - Bernard Meunier

Innovation technologique Liliane Bettencourt (2018-2019) - Molly Przeworski

Mondes Francophones (2018-2019) - Yanick Lahens

L'invention de l'Europe par les langues et les cultures (2022-2023) - Mieke Bal

Pauvreté et politiques publiques - Esther Duflo

Histoire des Lumières, XVIIIe-XXIe siècle - Antoine Lilti

Chaire internationale (2007-2008) - Pierre Magistretti

Biodiversité et écosystèmes (2023-2024) - Emmanuelle Porcher

Formation planétaire : de la Terre aux exoplanète - Alessandro Morbidelli

Mondes francophones (2023-2024) - Salikoko S. Mufwene