Gérard Berry

Professeur au Collège de France, membre de l’Académie des sciences. Actuellement titulaire de la chaire d’informatique et sciences numériques au Collège de France, Gérard Berry est membre de l’Académie des sciences, de l’Académie des technologies et de l’Academia Europaea. Formé à l’Ecole polytechnique, il a depuis été chercheur à l’École des mines de Paris et à l’INRIA de 1970 à 2000, mais aussi Directeur scientifique de la société Esterel Technologies de 2001 à 2009 puis d’Inria, ainsi que Président de la Commission d’évaluation de cet institut jusqu’en 2012, année à laquelle il est fait Chevalier de la Légion d’honneur. En 2014, Gérard Berry est lauréat de la plus haute distinction scientifique française : la Médaille d’or du CNRS. La contribution scientifique de ce pionnier de l’informatique peut se résumer en quatre points principaux: – 1. Le traitement formel des langages de programmation et leurs relations avec la logique mathématique – 2. La programmation parallèle et temps réel – 3. La conception assistée par ordinateur de circuits intégrés, et la vérification formelle des programmes et circuits. – 4. La création du langage de programmation Esterel. Ses travaux les plus récents se concentrent sur la programmation diffuse, c’est-à-dire la programmation des objets connectés : ordinateurs, téléphones, télévisions, appareils électroménagers. Par ailleurs, la diffusion de la culture scientifique a toujours été au c’ur de la démarche de Gérard Berry.