Gérard BerryAlgorithmes, machines et langagesLe temps élargi : horloges multiples, temps discrets et temps continuSixième leçon : La déformatique

Gérard Berry Algorithmes, machines et langages Le temps élargi : horloges multiples, temps discrets et temps continu Sixième leçon : La déformatique

06 - 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 06 - Le temps élargi : horloges multiples, temps discrets et temps continu

Sign up to save your podcasts

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

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