L'Académie des sciences se compose de Membres, d'Associés étrangers et de Correspondants.

Abonnez-vous

English en

France fr

Site Internet de l'Académie des sciences

Membre de l'Académie des sciences
Illustration

Retour vers la rubrique

Gérard BERRY


Élu Membre le 3 décembre 2002

Section : Sciences mécaniques et informatiques

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.

Voir le site Internet de Gérard Berry

Voir la page de Gérard Berry dans le site du Collège de France


Voir "L'informatique embarquée", discours prononcé par Gérard Berry lors de la séance solennelle de réception des nouveaux Membres, le 17 juin 2003


Coordonnées :

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

L'Académie des sciences est l'une des cinq Académies composant l'Institut de France - Mentions légales - INTRANET - [ Mise à jour le 25.02.2013 ]
crédit photo Illustration Protistes planctoniques. Ce plancton a été récolté au cours de l'expédition Tara. Le 5 septembre 2009 le bateau Tara est parti de Lorient pour une expédition de 3 ans sur tous les océans du monde, afin d'étudier la vie microscopique des océans.
© CNRS Photothèque/Tara Océans / SARDET Christian / 2010