Gérard Berry

Élu membre le 3 décembre 2002
Section : Sciences mécaniques et informatiques et Inter-section 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.

• 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