Algorithmes, machines et langages - Gérard Berry

by Collège de France
0

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.

More
Recent Episodes
  • Leçon de clôture - Gérard Berry : Où va l'informatique ? - Plaidoyer pour les trajectoires non linéaires
    Feb 26, 2019 – 60:46
  • 06 - Prouver les programmes : pourquoi, quand, comment ?
    Apr 1, 2015 – 69:37
  • 05 - Prouver les programmes : pourquoi, quand, comment ?
    Mar 25, 2015 – 63:20
  • 04 - Prouver les programmes : pourquoi, quand, comment ?
    Mar 18, 2015 – 72:09
  • 03 - Prouver les programmes : pourquoi, quand, comment ?
    Mar 11, 2015 – 71:14
  • 02 - Prouver les programmes : pourquoi, quand, comment ?
    Mar 4, 2015 – 70:15
  • 01 - Prouver les programmes : pourquoi, quand, comment ?
    Jan 28, 2015 – 80:03
  • 06 - Le temps élargi : horloges multiples, temps discrets et temps continu
    Apr 9, 2014 – 46:21
  • 05 - Le temps élargi : horloges multiples, temps discrets et temps continu
    Apr 2, 2014 – 62:26
  • 04 - Le temps élargi : horloges multiples, temps discrets et temps continu
    Mar 26, 2014 – 60:56
  • 03 - Le temps élargi : horloges multiples, temps discrets et temps continu
    Mar 19, 2014 – 59:02
  • 02 - Le temps élargi : horloges multiples, temps discrets et temps continu
    Mar 12, 2014 – 61:03
  • 01 - Le temps élargi : horloges multiples, temps discrets et temps continu
    Mar 5, 2014 – 57:20
  • 07 - Le temps et les événements en informatique : Synthèse matérielle et compilation logicielle d'Esterel v7
    May 21, 2013 – 59:00
  • 06 - Le temps et les événements en informatique : La conception de circuits synchrones et multi-horloges en Esterel v7
    May 14, 2013 – 60:05
  • 05 - Le temps et les événements en informatique : La compilation logicielle d'Esterel v5
    Apr 23, 2013 – 63:36
  • 04 - Le temps et les événements en informatique : Systèmes réactifs logiciels, le design du langage synchrone Esterel v5
    Apr 16, 2013 – 64:47
  • 03 - Le temps et les événements en informatique : Circuits et nombre 2-adiques , une nouvelle vision de l'échange temps-espace
    Apr 9, 2013 – 57:17
  • 02 - Le temps et les événements en informatique : Parler du temps mais de manière formelle (2/2)
    Apr 2, 2013 – 56:30
  • 01 - Le temps et les événements en informatique : Parler du temps mais de manière formelle (1/2)
    Apr 2, 2013 – 61:51
  • Leçon inaugurale - Gérard Berry : L'informatique du temps et des événements
    Mar 28, 2013 – 60:23
  • Leçon inaugurale - Gérard Berry : Penser, modéliser et maîtriser le calcul informatique
    Nov 19, 2009 – 59:50
  • 08 - Les grands challenges du numérique, conclusion
    Mar 28, 2008 – 61:24
  • 07 - Les grands challenges du numérique
    Mar 21, 2008 – 02:50
  • 06 - Les réseaux, un espace d'innovation exceptionnel
    Mar 14, 2008 – 56:47
  • 05 - A la chasse aux bugs : la vérification des programmes et circuits
    Feb 22, 2008 – 59:35
  • 04 - Les systèmes embarqués et l'informatisation des objets
    Feb 15, 2008 – 57:43
  • 03 - Les langages de programmation, vecteurs de la pensée informatique
    Feb 8, 2008 – 59:30
  • 02 - Des circuits aux systèmes sur puces
    Feb 1, 2008 – 60:19
  • 01 - Les algorithmes, coeur de l'informatique
    Jan 25, 2008 – 52:12
  • Leçon inaugurale - Gérard Berry : Pourquoi et comment le monde devient numérique
    Jan 17, 2008 – 56:40
Recent Reviews
Similar Podcasts
La Conversation scientifique
Disclaimer: The podcast and artwork on this page are property of the podcast owner, and not endorsed by UP.audio.