Everand Logo

Bienvenue sur Everand!

  • Découvrez ce podcast, et bien plus encore

    Profitez gratuitement des podcasts sans abonnement. Nous offrons également des livres électroniques, des livres audio et bien plus encore, pour seulement $11.99/mois.

    04 - Les systèmes embarqués et l'informatisation des objets

    04 - Les systèmes embarqués et l'informatisation des objets

    DeAlgorithmes, machines et langages - Gérard Berry

    Commencer à écouterVoir l'émission du podcast

    04 - Les systèmes embarqués et l'informatisation des objets

    DeAlgorithmes, machines et langages - Gérard Berry

    évaluations:
    Longueur:
    58 minutes
    Sortie:
    15 févr. 2008
    Format:
    Épisode de podcast

    Description

    Gérard BerryChaire d'Innovation technologique - Liliane BettencourtQuatrième coursLes systèmes embarqués et l'informatisation des objets15 février 2008
    Sortie:
    15 févr. 2008
    Format:
    Épisode de podcast

    Titres dans cette série (30)

    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.