Algorithmes, machines et langages - Gérard Berry
par Collège de France · Éducation
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.
Où écouter « Algorithmes, machines et langages - Gérard Berry » ?
Apple Podcasts · Flux RSS · Site web
Épisodes
- Leçon de clôture - Gérard Berry : Où va l'informatique ? - Plaidoyer pour les trajectoires non linéaires
26 février 2019 · 1 h 01 min
Gérard Berry Algorithmes, machines et langages Collège de France LEÇON DE CLÔTURE 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 · 1 h 10 min
Gérard Berry Algorithmes, machines et langages Année 2014-2015 Prouver les programmes : pourquoi, quand, comment ? Sixième leçon : Vérification et optimisation booléennes… - 05 - Prouver les programmes : pourquoi, quand, comment ?
25 mars 2015 · 1 h 03 min
Gérard Berry Algorithmes, machines et langages Année 2014-2015 Prouver les programmes : pourquoi, quand, comment ? Cinquième leçon : La vérification de modèles (model-checking)… - 04 - Prouver les programmes : pourquoi, quand, comment ?
18 mars 2015 · 1 h 12 min
Gérard Berry Algorithmes, machines et langages Année 2014-2015 Prouver les programmes : pourquoi, quand, comment ? Quatrième leçon : Des logiques d'ordre supérieur à la… - 03 - Prouver les programmes : pourquoi, quand, comment ?
11 mars 2015 · 1 h 11 min
Gérard Berry Algorithmes, machines et langages Année 2014-2015 Prouver les programmes : pourquoi, quand, comment ? Troisième leçon : Les méthodes générales : assertions,… - 02 - Prouver les programmes : pourquoi, quand, comment ?
4 mars 2015 · 1 h 10 min
Gérard Berry Algorithmes, machines et langages Année 2014-2015 Prouver les programmes : pourquoi, quand, comment ? Deuxième leçon : De la spécification à la réalisation, au test… - 01 - Prouver les programmes : pourquoi, quand, comment ?
28 janvier 2015 · 1 h 20 min
Gérard Berry Algorithmes, machines et langages Année 2014-2015 Prouver les programmes : pourquoi, quand, comment ? Première leçon : La révolution informatique dans les sciences… - 06 - Le temps élargi : horloges multiples, temps discrets et temps continu
9 avril 2014 · 46 min
Gérard Berry Algorithmes, machines et langages Le temps élargi : horloges multiples, temps discrets et temps continu Sixième leçon : La déformatique - 05 - Le temps élargi : horloges multiples, temps discrets et temps continu
2 avril 2014 · 1 h 02 min
Gérard Berry Algorithmes, machines et langages Le temps élargi : horloges multiples, temps discrets et temps continu Cinquième leçon : Jouer avec le temps - 04 - Le temps élargi : horloges multiples, temps discrets et temps continu
26 mars 2014 · 1 h 01 min
Gérard Berry Algorithmes, machines et langages Le temps élargi : horloges multiples, temps discrets et temps continu Quatrième leçon : L'électricité est constructive :… - 03 - Le temps élargi : horloges multiples, temps discrets et temps continu
19 mars 2014 · 59 min
Gérard Berry Algorithmes, machines et langages Le temps élargi : horloges multiples, temps discrets et temps continu Troisième leçon : Coopération entre modèles de temps et de… - 02 - Le temps élargi : horloges multiples, temps discrets et temps continu
12 mars 2014 · 1 h 01 min
Gérard Berry Algorithmes, machines et langages Le temps élargi : horloges multiples, temps discrets et temps continu Deuxième leçon : Synchronisons nos montres : la… - 01 - Le temps élargi : horloges multiples, temps discrets et temps continu
5 mars 2014 · 57 min
Gérard Berry Algorithmes, machines et langages Le temps élargi : horloges multiples, temps discrets et temps continu Première leçon : Circuits multi-horloges, métastabilité,… - 07 - Le temps et les événements en informatique : Synthèse matérielle et compilation logicielle d'Esterel v7
21 mai 2013 · 59 min
Gérard Berry Algorithmes, machines et langages Le temps et les événements en informatique : Synthèse matérielle et compilation logicielle d'Esterel v7 Ancien élève de l'École… - 06 - Le temps et les événements en informatique : La conception de circuits synchrones et multi-horloges en Esterel v7
14 mai 2013 · 1 h 00 min
Gérard Berry Algorithmes, machines et langages Le temps et les événements en informatique : La conception de circuits synchrones et multi-horloges en Esterel v7 Ancien élève de… - 05 - Le temps et les événements en informatique : La compilation logicielle d'Esterel v5
23 avril 2013 · 1 h 04 min
Gérard Berry Algorithmes, machines et langages Le temps et les événements en informatique : La compilation logicielle d'Esterel v5 Ancien élève de l'École polytechnique,… - 04 - Le temps et les événements en informatique : Systèmes réactifs logiciels, le design du langage synchrone Esterel v5
16 avril 2013 · 1 h 05 min
Gérard Berry Algorithmes, machines et langages Le temps et les événements en informatique : Systèmes réactifs logiciels, le design du langage synchrone Esterel v5 Ancien élève de… - 03 - Le temps et les événements en informatique : Circuits et nombre 2-adiques , une nouvelle vision de l'échange temps-espace
9 avril 2013 · 57 min
Gérard Berry Algorithmes, machines et langages Le temps et les événements en informatique : Circuits et nombre 2-adiques , une nouvelle vision de l'échange temps-espace Ancien… - 02 - Le temps et les événements en informatique : Parler du temps mais de manière formelle (2/2)
2 avril 2013 · 57 min
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,… - 01 - Le temps et les événements en informatique : Parler du temps mais de manière formelle (1/2)
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,… - Leçon inaugurale - Gérard Berry : L'informatique du temps et des événements
28 mars 2013 · 1 h 00 min
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çon inaugurale - Gérard Berry : Penser, modéliser et maîtriser le calcul informatique
19 novembre 2009 · 60 min
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… - 08 - Les grands challenges du numérique, conclusion
28 mars 2008 · 1 h 01 min
Gérard Berry Chaire d'Innovation technologique - Liliane Bettencourt Huitième cours Les grands challenges du numérique, conclusion 28 mars 2008 - 07 - Les grands challenges du numérique
21 mars 2008 · 3 min
Gérard Berry Chaire d'Innovation technologique - Liliane Bettencourt Septième cours Les grands challenges du numérique 21 mars 2008 - 06 - Les réseaux, un espace d'innovation exceptionnel
14 mars 2008 · 57 min
Gérard Berry Chaire d'Innovation technologique - Liliane Bettencourt Sixième cours Les réseaux, un espace d'innovation exceptionnel 14 mars 2008 - 05 - A la chasse aux bugs : la vérification des programmes et circuits
22 février 2008 · 60 min
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 - 04 - Les systèmes embarqués et l'informatisation des objets
15 février 2008 · 58 min
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 - 03 - Les langages de programmation, vecteurs de la pensée informatique
8 février 2008 · 60 min
Gérard Berry Chaire d'Innovation technologique - Liliane Bettencourt Troisième cours Les langages de programmation, vecteurs de la pensée informatique 1er février 2008 - 02 - Des circuits aux systèmes sur puces
1 février 2008 · 1 h 00 min
Gérard Berry Chaire d'Innovation technologique - Liliane Bettencourt Deuxième cours Des circuits aux systèmes sur puces 1er février 2008 - 01 - Les algorithmes, coeur de l'informatique
25 janvier 2008 · 52 min
Gérard Berry Chaire d'Innovation technologique - Liliane Bettencourt Premier cours Les algorithmes, coeur de l'informatique 25 janvier 2008 - Leçon inaugurale - Gérard Berry : Pourquoi et comment le monde devient numérique
17 janvier 2008 · 57 min
Gérard Berry Collège de France Chaire annuelle Innovation technologique - Liliane Bettencourt (2007-2008) LEÇON INAUGURALE : Pourquoi et comment le monde devient numérique Date :…
Podcasts similaires (Éducation)
- Histoires de Succès – Fabrice FLORENT
- La base – Choses à Savoir
- La vie suffit ! – Chloé Bloom
- Tes new besties par Amélie DIAS et Fiona OSLO – @amelie.dias et @iamfionaoslo
- Josainz-Les Claques Douces 🎙️ | Développement Personnel, Lâcher-Prise & Humour – jo sainz
- Kabbalah Media | mp4 #kab_fre – Bnei Baruch Kabbalah Education and Research Institute, Бней Барух – Ассоциация "Каббала Ла-Ам"
- BUBBLY HUB - Le podcast – Coline Georges
- Escargot - News & Culture in Simple French – Escargot Simple French
- Mille et une histoires – Unique Heritage Media
- Cool Parents Make Happy Kids - Éducation & Parentalité – Charlotte Ducharme
- Le podcast de Robin – Robin Tyonnel
- Podcast by FLE d'OC (Français langue étrangère) – FLE d'OC - Lucie et Marlène
- EHESS_podcasts – EHESS_podcasts
- Lille.Pod – Université de Lille
- Parents d'ados: kit de survie – Cogeco Média
- FrenchPodcast-Français avec Pierre – Français avec Pierre
Questions fréquentes
De quoi parle le podcast « Algorithmes, machines et langages - Gérard Berry » ?
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…
Comment s'abonner à « Algorithmes, machines et langages - Gérard Berry » ?
Vous pouvez vous abonner à « Algorithmes, machines et langages - Gérard Berry » sur Apple Podcasts, Spotify ou via le flux RSS – les liens sont sur cette page.
Combien d'épisodes compte « Algorithmes, machines et langages - Gérard Berry » ?
31 épisodes sont actuellement disponibles.
Quand est sorti le dernier épisode de « Algorithmes, machines et langages - Gérard Berry » ?
Le dernier épisode « Leçon de clôture - Gérard Berry : Où va l'informatique ? - Plaidoyer pour les trajectoires non linéaires » est sorti le 26 février 2019.
Vous êtes le producteur de ce podcast ? Revendiquez-le et faites-en la promotion