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 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.
www.college-de-france.fr
🎧 Podcast episodes
Listen to 38 episodes
46
minutes
·
9 years ago
06 - Le temps élargi : horloges multiples, temps discrets et temps continu
62
minutes
·
9 years ago
05 - Le temps élargi : horloges multiples, temps discrets et temps continu
61
minutes
·
9 years ago
04 - Le temps élargi : horloges multiples, temps discrets et temps continu
59
minutes
·
9 years ago
03 - Le temps élargi : horloges multiples, temps discrets et temps continu
61
minutes
·
9 years ago
02 - Le temps élargi : horloges multiples, temps discrets et temps continu
57
minutes
·
9 years ago
01 - Le temps élargi : horloges multiples, temps discrets et temps continu
60
minutes
·
10 years ago
05 - La conception de circuits synchrones et multi-horloges en Esterel v7
65
minutes
·
10 years ago
03 - Systèmes réactifs logiciels, le design du langage synchrone Esterel v5
57
minutes
·
10 years ago
02 - Circuits et nombre 2-adiques , une nouvelle vision de l'échange temps-espace
61
minutes
·
10 years ago
Leçon inaugurale - Gérard Berry : L'informatique du temps et des événements
57
minutes
·
15 years ago
Leçon inaugurale - Gérard Berry : Pourquoi et comment le monde devient numérique
Similar podcasts
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 Technologi...
Innovation technologique Liliane Bettencourt (2018-2019) - Molly Przeworski
Formée dans les universités de Princeton, Chicago puis Oxford, Molly Przeworski a exercé au département de génétique de l'évolution de l'Institut Max Planck à Leipzig, puis à l'Université de Brown, au département de génétique humaine de l'Université de Chicago, avant de fonder sa...
Correspondance en direct d’Israël
Katy Bisraor, Gérard Benhamou et Emmanuelle Adda sont en direct d’Israël dans « La Matinale Info » et « RCJ Midi »
Les Dicodeurs: exercices de style - La 1ere
L'exercice de style hebdomadaire pratiqué par les Dicodeurs consiste à raconter la même histoire, mais chaque fois différemment. Production: Gérard Mermet et Jean-Luc Sudan.
Disponibilité des fichiers audio illimitée. - Pour un usage privé exclusivement.
D.clic : les définitions essentielles pour ouvrir votre culture au numérique
Chez Docaposte (https://www.docaposte.com), nous avons pour mission de rendre l’avenir plus simple pour nos clients, en confiance.
Nous nous positionnons en partenaire de leur transformation numérique et leur proposons le meilleur de nos expertises et savoir-faire.
Pour cela, i...
Intention Numérique
Mobiliser le numérique en éducation --
Fruit de la collaboration de quatre enseignants friands de numérique, le balado Intention Numérique est une réflexion sur les façons de mobiliser le numérique de façon efficiente dans le contexte scolaire. Quelles sont les bonnes pratiques ?...
Les Grandes voix d'Europe 1
Décrypter, analyser et débattre de la vie politique, tels sont les mots d’ordre de ce rendez-vous porté par Pierre de Vilno entouré des voix historiques de la station : Catherine Nay, Michèle Cotta, Charles Villeneuve, Gérard Carreyrou. Chaque samedi, ils mettent leur expertise e...
Vertical Trip : voyages et cultures du monde
Chaque lundi, Anna Leigh Fisher te fait voyager à travers le monde en cinq minutes. Plus qu'un voyage, c'est une histoire qu'elle te raconte en te donnant un tas de bons plans et d'inspirations pour tes prochaines vacances. Hébergé par Acast. Visitez acast.com/privacy pour plus d...