Podtail
    • トップ Podcast
    • エピソード
    • ポッドキャスト
    • ログイン
    • サインアップ
    • Partners
    • Copyright Policy
    • ポッドキャストを提案する
    BookBeat: Essayez 2 mois gratuitement 🙌
    Résiliez à tout moment. Aucun engagement.
    Algorithmes, machines et langages - Gérard Berry

    Algorithmes, machines et langages - Gérard Berry

    スイス · Collège de France

    • 教育
    • コース

    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.

    • 申し込む 退会する
    • シェアする
    • Listen on Apple Podcasts
    • エピソード 31
    • 関連する
    • 購読者 1
    • Apple Podcasts
    • RSS
    • ウェブサイト
    • Spotify

    購読者

    • 13,782 の購読

      Podtail

    Podtail
    • Partners
    • Privacy Settings
    • Svenska
    • English
    • Norsk
    • Français
    • Suomi
    • Español
    • Deutsch
    • Dansk
    • Português (Portugal)
    • Português (Brasil)
    • Русский
    • Türkçe
    • 日本語
    • Nederlands
    • Italiano

    © Podtail 2025

       
    Update Required To play the media you will need to either update your browser to a recent version or update your Flash plugin.