Gérard BERRY

Médaille d'or 2014 du CNRS
Professeur émérite en informatique au Collège de France

Membre de l’Académie des Sciences, de l’Académie des Technologies, et de l’Academia Europaea.

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.

Retrouver Gérard BERRY sur sa page perso