Gérard Berry, né le , 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.

Il est ancien élève de l'École polytechniqueDe la promotion X1967, cf. ; y est notamment indiqué le grade de Gérard Berry dans la fonction publique : « ingénieur général des mines ».Ouvrir la , sélectionner l’onglet « Catalogues de la BCX → Famille polytechnicienne », effectuer la recherche sur « Gérard Berry », résultat obtenu : « Berry, Gérard ». et ingénieur général des MinesDécret du .. Après sa sortie de l'École des mines de Paris (1973), il reste rémunéré comme chercheur dans cette école jusqu'en , 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.

Pendant l'année scolaire 2007-2008, il tient la chaire annuelle d'Innovation technologique Liliane Bettencourt au Collège de France, où il donne un cours intitulé « Pourquoi et comment le monde devient numérique ».

Pendant l'année scolaire 2009-2010, il tient la chaire nouvellement créée Informatique et sciences numériques au Collège de France, où il donne un cours intitulé « Penser, modéliser et maîtriser le calcul informatique ».

Certains de ses cours 2007-2008 et 2009-2010 ont été redonnés en anglais à l'université d'Édimbourg dans le cours intitulé en collaboration avec le Collège de France, l'Inria et la .

De 2009 à , il est directeur de recherches à l'Inria, en détachement du corps des mines. Il y est membre de l'équipe-projet IndesIndes et préside la commission d'évaluation de la recherche de cet institut Commission d'évaluation d'Inria.

De à , Gérard Berry tient la chaire statutaire Algorithmes, machines et langagesChaire « Algorithmes, machines et langages » sur le site du Collège de France au Collège de France, tout en restant collaborateur extérieur du projet INRIA Indes (cf. supra). Il a donné 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 ? ». Tous les cours de Gérard Berry et les séminaires et colloques liés aux cours sont disponibles en ligne sur le site Internet du Collège de France..

Gérard Berry est devenu professeur émérite au Collège de France en .

Il est membre du Conseil Scientifique d'Orange depuis 2018, et en est devenu président en 2020.

De 2018 à 2021, il participe au conseil scientifique de l'Éducation nationale..

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

Travaux

Sa contribution scientifique concerne cinq sujets :

le lambda calcul et la programmation fonctionnelle ; la sémantique formelle des langages de programmation ; 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 : 1999 : Prix Science et Défense 2005 : Grand prix de la Fondation EADS pour les applications de la science à l'industriePrix de la fondation d'entreprise EADS. 2008 : 2012 : Décret du portant promotion et nomination sur Légifrance 2014 : Médaille d’or du CNRS. 2023 :

Publications en français

Gérard Berry, La pensée informatique, Paris, CNRS Éditions, « Les grandes voix de la recherche », 2019,

Gérard Berry, La numérisation du monde, De Vive Voix, 2010 Gérard Berry, L'informatique du temps et des événements, Paris, Fayard, coll. « Collège de France », 2013, 87 p.

Notes et références

Voir aussi Articles connexes Esterel (langage)

Liens externes

Page personnelle sur le site de l'Inria, Institut national de recherche en informatique et en automatique. Page sur le site de l'Académie des sciences. "Seven Keys to the Digital Future" (cours et séminaires donnés à l'université d'Édimbourg). (2014, 6 min) et "Partition pour ordinateur" (2014, 6 min) deux films de Marie Mora Chevais, produit par CNRS Images.

Catégorie:Informaticien français Catégorie:Personnalité en langages de programmation Catégorie:Régent du Collège de 'Pataphysique Catégorie:Élève de l'École polytechnique Catégorie:Ingénieur du corps des mines Catégorie:Docteur en mathématiques de l'université Paris-Diderot Catégorie:Professeur au Collège de France Catégorie:Lauréat de la médaille d'or du CNRS Catégorie:Membre de l'Académie des sciences (France) Catégorie:Membre de l'Académie des technologies Catégorie:Membre de l'Academia Europaea Catégorie:Membre du conseil scientifique de l'Éducation nationale Catégorie:Chevalier de la Légion d'honneur décoré en 2012 Catégorie:Chevalier de l'ordre national du Mérite Catégorie:Chevalier des Palmes académiques Catégorie:Naissance en décembre 1948 Catégorie:Auteur publié par les éditions Fayard Catégorie:Auteur publié par CNRS Éditions Catégorie:Auteur publié par les éditions Odile Jacob