Gérard Berry

Algorithmes, machines et langages

Le temps et les événements en informatique : Parler du temps mais de manière formelle (2/2)

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.

Gérard Berry

Algorithmes, machines et langages

Le temps et les événements en informatique : Parler du temps mais de manière formelle (1/2)

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.

Gérard Berry

Collège de France

Chaire Algorithmes, machines et langages (2012-2019)

Leçon inaugurale : L'informatique du temps et des événements

Date : 28 mars 2013

Résumé

Gérer le temps et les événements est central dans des domaines variés de l'informatique, des circuits et logiciels embarqués dans des objets de toutes sortes à la création musicale, en passant par la simulation de phénomènes physiques. Ce sujet est pourtant peu traité par l'informatique classique. Cette leçon présente des modélisations du temps et des événements associées à de nouveaux langages de programmation. Elle traite des notions d'épaisseur de l'instant, de temps hiérarchique et multiforme créé par la répétition d'événements, et du rapport temps réel/temps continu.

Gérard Berry

Algorithmes, machines et langages

Leçon inaugurale : L'informatique du temps et des événements

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.

Gérard Berry

Collège de France

Chaire annuelle Informatique et sciences numériques (2009-2010)

LEÇON INAUGURALE : Penser, modéliser et maîtriser le calcul informatique

Date : 19 novembre 2009

Résumé

Notre vie quotidienne est sans cesse bouleversée par les innovations technologiques du monde numérique. Mais les fondements de celui-ci restent largement ignorés du public, qui semble en permanence surpris par des évolutions pourtant prévisibles : c'est le signe d'un schéma mental mal adapté. L'ambition de cette leçon inaugurale est d'aider à construire un bon sens informatique, en expliquant sur quels concepts scientifiques et techniques repose la révolution numérique, quels outils elle met en oeuvre, et quels sont ses impacts et ses difficultés.

Gérard Berry

Chaire d'Innovation technologique - Liliane Bettencourt

Huitième cours

Les grands challenges du numérique, conclusion

28 mars 2008

Gérard Berry

Chaire d'Innovation technologique - Liliane Bettencourt

Septième cours

Les grands challenges du numérique

21 mars 2008

Gérard Berry

Chaire d'Innovation technologique - Liliane Bettencourt

Sixième cours

Les réseaux, un espace d'innovation exceptionnel

14 mars 2008

Gérard Berry

Chaire d'Innovation technologique - Liliane Bettencourt

Cinquième cours

A la chasse aux bugs : la vérification des programmes et circuits

22 février 2008

Gérard Berry

Chaire d'Innovation technologique - Liliane Bettencourt

Quatrième cours

Les systèmes embarqués et l'informatisation des objets

15 février 2008