Gérard Berry

Gérard Berry
Élu membre le 3 décembre 2002
Section : Sciences mécaniques et informatiques et Intersection des applications des sciences

Gérard Berry est Professeur au Collège de France, chaire Algorithmes, machines et languages.
Gérard Berry travaille sur les langages de programmation, leur sémantique mathématique, la compilation de ces langages sur cibles matérielles ou logicielles, et la vérification formelle des programmes et des circuits électroniques. Ses travaux ont concerné trois types de domaines : les langages de programmation fonctionnels, les langages parallèles et temps-réel, et les circuits électroniques.

Voir le site Internet

Voir le site Internet du Collège de France
  • Coordonnées

    Collège de France
    11 place Marcelin Berthelot
    75231 Paris Cedex 05
  • Discours

    L'informatique embarquée, discours sous la coupole le 17 juin 2003


  • Accueil
  • Classement alphabétique
  • B
  • Gérard Berry