Gérard Berry

Gérard Berry, né le Modèle:Date-, est un informaticien français, professeur au Collège de France, membre de l'Académie des sciences française (depuis 2002), de l'Académie des technologies (depuis 2005), et de l'Academia Europaea (depuis 1993).

Biographie

Gérard Berry est le fils d'un commissaire de police et d'une enseignante en mathématiques. Il a deux frères ingénieurs, dont l'un, Michel Berry, son aîné, l'a précédé dans le cursus de formation<ref name="bioAnnales">Modèle:Lien web</ref>.

Il est ancien élève de l'École polytechnique<ref name="AX">De la promotion X1967, cf. Modèle:Lien web ; y est notamment indiqué le grade de Gérard Berry dans la fonction publique : « ingénieur général des mines ».</ref><ref name="Polytech.Fiche">Ouvrir la Modèle:Lien web, sélectionner l’onglet « Catalogues de la BCX → Famille polytechnicienne », effectuer la recherche sur « Gérard Berry », résultat obtenu : « Berry, Gérard Modèle:Nobr ».</ref> et ingénieur général des Mines<ref>Décret du Modèle:Date-.</ref><ref name="AX"/>. Après sa sortie de l'École des mines de Paris (1973), il reste rémunéré comme chercheur dans cette école jusqu'en Modèle:Date-, tout en poursuivant d'abord une thèse d'État en mathématiques (soutenue en 1979), puis en poursuivant des projets au sein de l'Institut national de recherche en informatique et en automatique (INRIA) ou de l'École des mines, d'abord à Rocquencourt, puis à Sophia Antipolis. À partir de 1980, son principal axe de recherche est le développement du langage Esterel qui permet d'exprimer la synchronisation temporelle de tâches et de prouver leur bon déroulement.

De 2001 à 2009, il est directeur scientifique d'Esterel Technologies.

De 2009 à Modèle:Date-, il est directeur de recherches, en détachement du corps des mines, à l'INRIA, où il est membre de l'équipe-projet Indes<ref>Indes</ref> et préside la commission d'évaluation de la recherche<ref> Commission d'évaluation d'Inria</ref>.

À compter de 2008, Gérard Berry donne des cours au Collège de France, et y dispose, depuis Modèle:Date- de la chaire « Algorithmes, machines et langages<ref>Chaire « Algorithmes, machines et langages » sur le site du Collège de France</ref> », tout en restant collaborateur extérieur du projet INRIA Indes (cf. supra). Certains de ses cours 2007-2008 et 2009-2010 ont été redonnés en anglais à l'université d'Édimbourg dans le cours intitulé Modèle:Citation étrangère en collaboration avec le Collège de France, l'INRIA et la Modèle:Lang.

Il est aussi Régent de « Déformatique » au Collège de 'Pataphysique.

Depuis 2018, il appartient au conseil scientifique de l'Éducation nationale<ref>Modèle:Lien web.</ref>.

Travaux

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<ref>Modèle:Lien web.</ref>.

Cours au Collège de France

Gérard Berry a été titulaire de deux chaires annuelles au Collège de France :

• en 2007-2008, sur la chaire annuelle Innovation technologique — Liliane Bettencourt, il a donné un cours intitulé « Pourquoi et comment le monde devient numérique » ;
• en 2009-2010, sur la chaire annuelle Informatique et sciences numériques, il a donné un cours intitulé « Penser, modéliser et maîtriser le calcul ».

Depuis Modèle:Date-, Gérard Berry est professeur au Collège de France sur la chaire Algorithmes, machines et langages (cf. supra), avec les cours suivants :

• 2012-2013 : « L'informatique du temps et des événements » ;
• 2013-2014 : « Le temps élargi : horloges multiples, temps discret et temps continu » ;
• 2014-2015 : « Prouver les programmes : pourquoi, quand, comment ? » ;
• 2015-2016 : « Structures de données et algorithmes pour la vérification formelle » ;
• 2017-2018 : « Esterel de A à Z » ;
• 2018-2019 : « Où va l'informatique ? ».

Les cours de Gérard Berry et les séminaires liés aux cours sont disponibles en ligne sur le site Internet du Collège de France<ref>Modèle:Lien web.</ref>.

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 : Modèle:Déco
• 1999 : Prix Science et défense
• 2005 : Grand prix de la Fondation EADS pour les applications de la science à l'industrie<ref>Prix de la fondation d'entreprise EADS.</ref>
• 2008 : Modèle:Déco
• 2012 : Modèle:Déco<ref>Décret du Modèle:Date- portant promotion et nomination sur Légifrance</ref>
• 2014 : Modèle:Médaille Médaille d’or du CNRS<ref>Modèle:Lien web.</ref>

Publications

• Modèle:Ouvrage
• Gérard Berry, La numérisation du monde, De Vive Voix, 2010
• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:Ouvrage

Voir aussi

Articles connexes

• Esterel (langage)

Liens externes

• Modèle:Autorité
• Modèle:Bases recherche

• {{#invoke:Langue|indicationDeLangue}} Page personnelle sur le site de l'Inria, Institut national de recherche en informatique et en automatique.
• Page personnelle sur le site de l'Académie des sciences.
• {{#invoke:Langue|indicationDeLangue}} "Seven Keys to the Digital Future" (cours et séminaires donnés à l'université d'Édimbourg).
• "Gérard Berry, l'homme qui orchestre les ordinateurs" (2014, 6 min) et "Partition pour ordinateur" (2014, 6 min) deux films de Marie Mora Chevais, produit par CNRS Images.