Ancien élève de l’École polytechnique, ingénieur général du corps des Mines, membre de l’Académie des sciences, de l’Académie des technologies et de l’Academia Europaea, Gérard Berry a été chercheur à l’École des mines de Paris et à l’Inria de 1970 à 2000, directeur scientifique de la société Esterel Technologies de 2001 à 2009 puis directeur scientifique Inria et président de la commission d’évaluation de cet institut de 2009 à 2012. Il a tenu la chaire Informatique et sciences numériques au Collège de France de 2012 à 2019, après y avoir tenu deux chaires annuelles en 2007-2008 et 2009-2010. Sa contribution scientifique concerne quatre sujets principaux : le traitement formel des langages de programmation et leurs relations avec la logique mathématique, la programmation parallèle et temps réel, la conception assistée par ordinateur de circuits intégrés, et la vérification formelle des programmes et circuits. Il est le créateur du langage de programmation Esterel.
Formation et carrière professionnelle
- 1970 : Ingénieur École polytechnique
- 1973 : Ingénieur des Mines
- 1979 : Thèse de doctorat d’État ès sciences mathématiques
- 1970-1977 : Chercheur à l’École des mines de Paris et à l’Inria-Rocquencourt
- 1977-2001 : Chercheur puis directeur de recherche à l’École des mines de Paris à Sophia-Antipolis
- 2001-2009 : Directeur scientifique de la société Esterel Technologies
- 2007-2008 : Professeur du Collège de France, titulaire de la chaire annuelle d’Innovation technologique Liliane Bettencourt
- 2009-2012 : Directeur de recherche Inria et président de sa commission d’évaluation
- 2009-2010 : Professeur du Collège de France, titulaire de la chaire annuelle Informatique et sciences numériques
- 2012-2019 : Professeur du Collège de France, titulaire de la chaire Algorithmes, machines et langages
Fonctions et instances scientifiques
- 2010- : Membre du comité d’administration de l’Agence nationale de la recherche
- 2011- : Membre du conseil scientifique de l’Ircam
- 2012- : Président du conseil scientifique de l’ESIEE
- 2014- : Président du conseil d’enseignement et de recherches de l’École polytechnique
- 2014- : Membre du conseil de l’association Informatics Europe
- 2018- : Membre du conseil scientifique de l'Éducation nationale
Prix et distinctions
- 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
- 2012 : Chevalier de la Légion d’honneur
- 2014 : Médaille d'or du CNRS
- Membre de l’Académie des sciences
- Membre de l’Académie des technologies
- Membre de l’Academia Europaea
