Home
Podcasts
Monitoring
Ctrl K
For Business
For Podcasters
More
Log In
Home
Podcasts
Monitoring
For Business
For Podcasters
More
Episode from the podcast
Algorithmes, machines et langages - Gérard Berry
Next Episode
Où va l'informatique ?
Released Monday, 4th March 2019
Good episode? Give it some love!
Où va l'informatique ?
Où va l'informatique ?
Monday, 4th March 2019
Good episode? Give it some love!
Play
Rate Episode
Apps
Listened
List
Bookmark
Share
About
Insights
Reviews
Credits
Lists
Transcript
Gérard BerryAlgorithmes, machines et langagesCollège de FranceLEÇON DE CLÔTUREOù va l'informatique ?26 février 2019
Show More
Play
Rate
Apps
Listened
List
Bookmark
Share
Get this podcast via API
From The 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 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.
Follow
Join Podchaser to...
Rate
podcasts and episodes
Follow
podcasts and creators
Create
podcast and episode lists
& much more
Create an Account
Official Episode Page
college-de-france.fr
Download Audio File
http://podcastfichiers.college-de-france.fr/berry-20190226.m4a
Episode Tags
Add Tags
Claim This Podcast
Do you host or manage this podcast?
Claim and edit this page to your liking.
,
Unlock more with Podchaser Pro
Audience Insights
Contact Information
Demographics
Charts
Sponsor History
and More!
Request Demo
Podcasts
Best Podcasts
New Podcasts
Best Episodes
Add a Podcast
Claim a Podcast
Podchaser 25
Features
Podcast Credits
Podcast Lists
Podcast Monitoring
Podcast Sponsors
Podcast Contacts
Community
Solutions
Podchaser Pro
Podchaser API
Podchaser Alerts
Podcharts
Podrover Reviews
Account
Register
Log In
Find Friends
Company
About
Integrations
Careers
Our Values
Resources
Help Center
Blog
API
Podchaser is the ultimate destination for podcast data, search, and discovery.
Learn More
Download the App
Upgrade to Pro
© 2024 Podchaser, Inc.
Privacy Policy
Terms of Service
Contact Us
Cookie Settings