Gérard Berry - Profil
Ancien élève de l’École polytechnique, Gérard Berry est ingénieur général du corps des Mines. Il est également membre de l’Académie des sciences, de l’Académie des technologies et de l’Academia Europaea.
Parcours Professionnel
De 1970 à 2000, Gérard Berry a occupé des postes clés dans la recherche, notamment à l’École des mines de Paris et à l’Inria. Voici un aperçu de son parcours :
- 1970-2000 : Chercheur à l’École des mines de Paris et à l’Inria.
- 2001-2009 : Directeur scientifique chez Esterel Technologies.
- 2009-2012 : Directeur scientifique à l’Inria et Président de la commission d’évaluation de l’institut.
Collège de France
De 2012 à 2019, Gérard Berry a occupé la prestigieuse chaire Informatique et sciences numériques au Collège de France. Avant cela, il avait tenu deux chaires annuelles entre 2007 et 2010.
Contributions Scientifiques
Les recherches de Gérard Berry se concentrent sur plusieurs domaines majeurs. Voici les quatre sujets principaux de ses contributions :
- Traitement formel des langages de programmation et leur lien avec la logique mathématique.
- Programmation parallèle et temps réel.
- Conception assistée par ordinateur de circuits intégrés.
- Vérification formelle des programmes et circuits.
Le Langage Esterel
Il est également le créateur du langage de programmation Esterel, une innovation majeure dans les domaines du temps réel et de la vérification formelle des systèmes.