Algorithmes, machines et langages - Gérard Berry

By Collège de FranceEducation Courses

Algorithmes, machines et langages - Gérard Berry episodes

April 02, 2013 02 - Le temps et les événements en informatique : Parler du temps mais de manière formelle (2/2)
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.
57 min
April 02, 2013 01 - Le temps et les événements en informatique : Parler du temps mais de manière formelle (1/2)
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.
1 hr 2 min
March 28, 2013 Leçon inaugurale - Gérard Berry : L'informatique du temps et des événements
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.
1 hr 1 min
March 28, 2013 Leçon inaugurale - Gérard Berry : L'informatique du temps et des événements - VIDEO
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.
1 hr 1 min
November 19, 2009 Leçon inaugurale - Gérard Berry : Penser, modéliser et maîtriser le calcul informatique
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.
1 hr
March 28, 2008 08 - Les grands challenges du numérique, conclusion
Gérard Berry
Chaire d'Innovation technologique - Liliane Bettencourt
Huitième cours
Les grands challenges du numérique, conclusion
28 mars 2008
1 hr 2 min
March 21, 2008 07 - Les grands challenges du numérique
Gérard Berry
Chaire d'Innovation technologique - Liliane Bettencourt
Septième cours
Les grands challenges du numérique
21 mars 2008
3 min
March 14, 2008 06 - Les réseaux, un espace d'innovation exceptionnel
Gérard Berry
Chaire d'Innovation technologique - Liliane Bettencourt
Sixième cours
Les réseaux, un espace d'innovation exceptionnel
14 mars 2008
57 min
February 22, 2008 05 - A la chasse aux bugs : la vérification des programmes et circuits
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
1 hr
February 15, 2008 04 - Les systèmes embarqués et l'informatisation des objets
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
58 min

About Algorithmes, machines et langages - Gérard Berry

From the publisher's feed

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…