Gérard Berry

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.