- Gerard Berry
-
Gérard Berry
Gérard Berry (2008) Gérard Berry, né le 25 décembre 1948, est un informaticien français.
Sommaire
Aperçu biographique
Ancien élève de l'École polytechnique et ingénieur général des Mines[1], il est membre de l'Académie des sciences française, de l'Académie des technologies, et de l'Academia Europaea.
Il est le titulaire de la chaire « Informatique et sciences numériques » du Collège de France, où il donne un cours appelé « Penser, modéliser et maîtriser le calcul ». Il a été en 2007-2008 le titulaire de la chaire d'innovation technologique Liliane Bettencourt du Collège de France, où il a donné un cours appelé « Pourquoi et comment le monde devient numérique ».
Il est actuellement également directeur de recherches, en détachement du corps des mines, à l'INRIA (Institut national de recherche en informatique et automatique), où il préside la commission d'évaluation de la recherche [2]. De 2001 à 2009, il a été directeur scientifique d'Esterel Technologies.De 1970 à 2000, il a été chercheur puis directeur de recherches à l'École nationale supérieure des mines de Paris, en collaboration avec l'INRIA.
Travaux
Les vidéos et supports du cours au Collège de France en 2009-2010 sous l'intitulé « Penser, modéliser et maîtriser le calcul » seront accessibles en ligne sur le site du Collège[3], avec les séminaires de personnalités extérieures invitées pour le cours.
Les vidéos et supports des cours qu'il a tenus au Collège de France en 2008 sous l'intitulé « Pourquoi et comment le monde devient numérique » sont accessibles en ligne sur le site du Collège[4], avec les séminaires de personnalités extérieures invitées pour le cours.
Sa contribution scientifique concerne cinq sujets :
- le lambda calcul et la programmation fonctionnelle ;
- la programmation parallèle et temps réel ;
- la conception assistée par ordinateur de circuits intégrés synchrones ;
- la vérification formelle de programmes et circuits ;
- la modélisation du calcul en général.
Il est le créateur principal du langage de programmation Esterel et de son outillage.
Honneurs et distinctions
- Membre de l'Académie des sciences, de l'Académie des technologies, et de l'Academia Europaea
- 1979 : Médaille de bronze du CNRS
- 1990 : Prix Monpetit de l'Académie des sciences
- 1994 : Chevalier de l'Ordre des palmes académiques
- 1999 : Prix Science et défense
- 2005 : Grand prix de la Fondation EADS pour les applications de la science à l'industrie
- 2008 : Chevalier de l'Ordre du mérite
Notes et références
Voir aussi
Articles connexes
Liens externes
- (fr) « Penser, modéliser et maîtriser le calcul » (cours au Collège de France)
- (fr) « Pourquoi et comment le monde devient numérique » (cours au Collège de France)
- (en) Page personnelle sur le site de l'Inria, Institut national de recherche en informatique et en automatique
Portail de l’informatique
Catégories : Membre de l'Académie des sciences (France) | Personnalité française en informatique | Personnalité en langages de programmation | Naissance en 1948 | Ancien élève de l'École polytechnique (France) | Ingénieur du Corps des Mines
Wikimedia Foundation. 2010.