Algorithmes, machines et langages - Gérard Berry
By Collège de France
Listen to a podcast, please open Podcast Republic app. Available on Google Play Store and Apple App Store.
Category: Courses
Open in Apple Podcasts
Open RSS feed
Open Website
Rate for this podcast
Subscribers: 5
Reviews: 0
Episodes: 30
Description
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.
| Episode | Date |
|---|---|
|
Leçon de clôture - Gérard Berry : Où va l'informatique ? - Plaidoyer pour les trajectoires non linéaires
|
Feb 26, 2019 |
|
06 - Prouver les programmes : pourquoi, quand, comment ?
|
Apr 01, 2015 |
|
05 - Prouver les programmes : pourquoi, quand, comment ?
|
Mar 25, 2015 |
|
04 - Prouver les programmes : pourquoi, quand, comment ?
|
Mar 18, 2015 |
|
03 - Prouver les programmes : pourquoi, quand, comment ?
|
Mar 11, 2015 |
|
02 - Prouver les programmes : pourquoi, quand, comment ?
|
Mar 04, 2015 |
|
01 - Prouver les programmes : pourquoi, quand, comment ?
|
Jan 28, 2015 |
|
06 - Le temps élargi : horloges multiples, temps discrets et temps continu
|
Apr 09, 2014 |
|
05 - Le temps élargi : horloges multiples, temps discrets et temps continu
|
Apr 02, 2014 |
|
04 - Le temps élargi : horloges multiples, temps discrets et temps continu
|
Mar 26, 2014 |
|
03 - Le temps élargi : horloges multiples, temps discrets et temps continu
|
Mar 19, 2014 |
|
02 - Le temps élargi : horloges multiples, temps discrets et temps continu
|
Mar 12, 2014 |
|
01 - Le temps élargi : horloges multiples, temps discrets et temps continu
|
Mar 05, 2014 |
|
07 - Le temps et les événements en informatique : Synthèse matérielle et compilation logicielle d'Esterel v7
|
May 21, 2013 |
|
06 - Le temps et les événements en informatique : La conception de circuits synchrones et multi-horloges en Esterel v7
|
May 14, 2013 |
|
05 - Le temps et les événements en informatique : La compilation logicielle d'Esterel v5
|
Apr 23, 2013 |
|
04 - Le temps et les événements en informatique : Systèmes réactifs logiciels, le design du langage synchrone Esterel v5
|
Apr 16, 2013 |
|
03 - Le temps et les événements en informatique : Circuits et nombre 2-adiques , une nouvelle vision de l'échange temps-espace
|
Apr 09, 2013 |
|
02 - Le temps et les événements en informatique : Parler du temps mais de manière formelle (2/2)
|
Apr 02, 2013 |
|
01 - Le temps et les événements en informatique : Parler du temps mais de manière formelle (1/2)
|
Apr 02, 2013 |
|
Leçon inaugurale - Gérard Berry : L'informatique du temps et des événements - VIDEO
|
Mar 28, 2013 |
|
08 - Les grands challenges du numérique, conclusion
|
Mar 28, 2008 |
|
07 - Les grands challenges du numérique
|
Mar 21, 2008 |
|
06 - Les réseaux, un espace d'innovation exceptionnel
|
Mar 14, 2008 |
|
05 - A la chasse aux bugs : la vérification des programmes et circuits
|
Feb 22, 2008 |
|
04 - Les systèmes embarqués et l'informatisation des objets
|
Feb 15, 2008 |
|
03 - Les langages de programmation, vecteurs de la pensée informatique
|
Feb 08, 2008 |
|
02 - Des circuits aux systèmes sur puces
|
Feb 01, 2008 |
|
01 - Les algorithmes, coeur de l'informatique
|
Jan 25, 2008 |
|
Leçon inaugurale - Gérard Berry : Pourquoi et comment le monde devient numérique
|
Jan 17, 2008 |