01 - Le temps et les événements en informatique : Parler du temps mais de manière formelle (1/2)
Épisode de Algorithmes, machines et langages - Gérard Berry par Collège de France · 2 avril 2013 · 1 h 02 min
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.
Autres épisodes de « Algorithmes, machines et langages - Gérard Berry »
- Leçon de clôture - Gérard Berry : Où va l'informatique ? - Plaidoyer pour les trajectoires non linéaires 26 février 2019
- 06 - Prouver les programmes : pourquoi, quand, comment ? 1 avril 2015
- 05 - Prouver les programmes : pourquoi, quand, comment ? 25 mars 2015
- 04 - Prouver les programmes : pourquoi, quand, comment ? 18 mars 2015
- 03 - Prouver les programmes : pourquoi, quand, comment ? 11 mars 2015
- 02 - Prouver les programmes : pourquoi, quand, comment ? 4 mars 2015
- 01 - Prouver les programmes : pourquoi, quand, comment ? 28 janvier 2015
- 06 - Le temps élargi : horloges multiples, temps discrets et temps continu 9 avril 2014
- 05 - Le temps élargi : horloges multiples, temps discrets et temps continu 2 avril 2014
- 04 - Le temps élargi : horloges multiples, temps discrets et temps continu 26 mars 2014
- 03 - Le temps élargi : horloges multiples, temps discrets et temps continu 19 mars 2014
- 02 - Le temps élargi : horloges multiples, temps discrets et temps continu 12 mars 2014
- 01 - Le temps élargi : horloges multiples, temps discrets et temps continu 5 mars 2014
- 07 - Le temps et les événements en informatique : Synthèse matérielle et compilation logicielle d'Esterel v7 21 mai 2013
- 06 - Le temps et les événements en informatique : La conception de circuits synchrones et multi-horloges en Esterel v7 14 mai 2013
À propos du podcast
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,…
Épisodes similaires
- 2026-04 V2 PINS.mp4 – Lille.Pod
- Episode #16 Jordan Marion - L'école d'astrologie – Pour l’Amour du Ciel
- E116 - Why You Understand French but Can't Speak It – Intermediate French Podcast - Ta vie en français
- La guillotine : un progrès social ? # Révolution française 🇫🇷 DELF A2 / B1 - French intermediate level - Compréhension orale – Escargot - News & Culture in Simple French
- André Malraux – La base
- (133) L’amour ne suffit pas ! Comment bien se disputer en couple (avec Sandy Kaufmann) – J'ai peur, donc j'y vais
Tous les épisodes de Algorithmes, machines et langages - Gérard Berry · Plus de podcasts Éducation