PODCAST · education
Algorithmes, machines et langages - Gérard Berry
by Collège de France
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.
Episodes
-
06 - Prouver les programmes : pourquoi, quand, comment ?
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 d'automates et circuits Ce dernier cours de 2014-2015 introduit les méthodes implicites de manipulation de systèmes de...
-
05 - Prouver les programmes : pourquoi, quand, comment ?
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) Ce cours termine la présentation générale des méthodes de vérification formelle par la vérification de modèles, plus...
-
04 - Prouver les programmes : pourquoi, quand, comment ?
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 programmation vérifiée en Coq Ce cours complète le précédent en terminant la présentation des méthodes générales de preuve de...
-
03 - Prouver les programmes : pourquoi, quand, comment ?
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, réécriture, interprétation abstraite, logiques et assistants de preuve Il y a deux principaux types de méthodes formelles pour…
more -
02 - Prouver les programmes : pourquoi, quand, comment ?
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 et à la preuve : les approches formelles Ce premier cours du cycle « Prouver les programmes : pourquoi, quand, comment…
more -
01 - Prouver les programmes : pourquoi, quand, comment ?
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 L'informatique sert depuis longtemps de moyen de calcul dans les autres sciences, que ce soit en sciences de la nature…
more -
06 - Le temps élargi : horloges multiples, temps discrets et temps continu
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
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
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 : l'équivalence entre la propagation électrique et le calcul Booléen constructif pour les circuits synchrones cycliques
-
03 - Le temps élargi : horloges multiples, temps discrets et temps continu
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 communication
-
02 - Le temps élargi : horloges multiples, temps discrets et temps continu
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 synchronisation d'horloges matérielles et logicielles en environnement distribué
-
01 - Le temps élargi : horloges multiples, temps discrets et temps continu
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é, synchroniseurs et FIFOs asynchrones Ce premier cours parisien présentera d'abord brièvement les divers sujets traités dans...
-
07 - Le temps et les événements en informatique : Synthèse matérielle et compilation logicielle d'Esterel v7
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 polytechnique, ingénieur général du Corps des mines, membre de l'Académie des science, de l'Académie des technologies et…
more -
06 - Le temps et les événements en informatique : La conception de circuits synchrones et multi-horloges en Esterel v7
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 l'École polytechnique, ingénieur général du Corps des mines, membre de l'Académie des science, de l'Académie des...
-
05 - Le temps et les événements en informatique : La compilation logicielle d'Esterel v5
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, 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…
more -
04 - Le temps et les événements en informatique : Systèmes réactifs logiciels, le design du langage synchrone Esterel v5
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 l'École polytechnique, ingénieur général du Corps des mines, membre de l'Académie des science, de l'Académie des...
-
03 - Le temps et les événements en informatique : Circuits et nombre 2-adiques , une nouvelle vision de l'échange temps-espace
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 é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...
-
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...
-
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...
-
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
-
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
-
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
-
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
-
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
-
03 - Les langages de programmation, vecteurs de la pensée informatique
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
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
Gérard Berry Chaire d'Innovation technologique - Liliane Bettencourt Premier cours Les algorithmes, coeur de l'informatique 25 janvier 2008
We're indexing this podcast's transcripts for the first time — this can take a minute or two. We'll show results as soon as they're ready.
No matches for "" in this podcast's transcripts.
No topics indexed yet for this podcast.
Loading reviews...
ABOUT THIS SHOW
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.
HOSTED BY
Collège de France
Loading similar podcasts...
Frequently Asked Questions
How many episodes does Algorithmes, machines et langages - Gérard Berry have?
Algorithmes, machines et langages - Gérard Berry currently has 31 episodes available on PodParley. New episodes are automatically indexed when they're published to the podcast feed.
What is Algorithmes, machines et langages - Gérard Berry about?
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,...
How often does Algorithmes, machines et langages - Gérard Berry release new episodes?
Algorithmes, machines et langages - Gérard Berry has 31 episodes. Check the episode list to see recent publication dates and frequency.
Where can I listen to Algorithmes, machines et langages - Gérard Berry?
You can listen to Algorithmes, machines et langages - Gérard Berry on PodParley by clicking any episode. We provide an embedded audio player for direct listening, and you can also subscribe via your preferred podcast app using the RSS feed.
Who hosts Algorithmes, machines et langages - Gérard Berry?
Algorithmes, machines et langages - Gérard Berry is created and hosted by Collège de France.
URL copied to clipboard!