Gérard BERRY
Membre de l'Académie des sciences
É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.
