Discover this podcast and so much more

Podcasts are free to enjoy without a subscription. We also offer ebooks, audiobooks, and so much more for just $11.99/month.

Algorithmes, machines et langages - Gérard Berry

Algorithmes, machines et langages - Gérard Berry


Algorithmes, machines et langages - Gérard Berry

ratings:
Length:
30 episodes
Language:
Français
Format:
Podcast

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.
Language:
Français
Format:
Podcast

Episodes1 - 10 of 30 episodes

PlayTitleSave

Leçon de clôture - Gérard Berry : Où va l'informatique ? - Plaidoyer pour les trajectoires non linéaires

Gérard BerryAlgorithmes, machines et langagesCollège de FranceLEÇON DE CLÔTUREOù va l'i...

60 minutes
Feb 26, 2019

06 - Prouver les programmes : pourquoi, quand, comment ?

Gérard BerryAlgorithmes, machines et langagesAnnée 2014-2015Prouver les programmes : po...

69 minutes
Apr 01, 2015

05 - Prouver les programmes : pourquoi, quand, comment ?

Gérard BerryAlgorithmes, machines et langagesAnnée 2014-2015Prouver les programmes : po...

63 minutes
Mar 25, 2015

04 - Prouver les programmes : pourquoi, quand, comment ?

Gérard BerryAlgorithmes, machines et langagesAnnée 2014-2015Prouver les programmes : po...

72 minutes
Mar 18, 2015

03 - Prouver les programmes : pourquoi, quand, comment ?

Gérard BerryAlgorithmes, machines et langagesAnnée 2014-2015Prouver les programmes : po...

71 minutes
Mar 11, 2015

02 - Prouver les programmes : pourquoi, quand, comment ?

Gérard BerryAlgorithmes, machines et langagesAnnée 2014-2015Prouver les programmes : po...

70 minutes
Mar 04, 2015

01 - Prouver les programmes : pourquoi, quand, comment ?

Gérard BerryAlgorithmes, machines et langagesAnnée 2014-2015Prouver les programmes : po...

80 minutes
Jan 28, 2015

06 - Le temps élargi : horloges multiples, temps discrets et temps continu

Gérard BerryAlgorithmes, machines et langagesLe temps élargi : horloges multiples, temp...

46 minutes
Apr 09, 2014

05 - Le temps élargi : horloges multiples, temps discrets et temps continu

Gérard BerryAlgorithmes, machines et langagesLe temps élargi : horloges multiples, temp...

62 minutes
Apr 02, 2014

04 - Le temps élargi : horloges multiples, temps discrets et temps continu

Gérard BerryAlgorithmes, machines et langagesLe temps élargi : horloges multiples, temp...

60 minutes
Mar 26, 2014