Biographie de Gérard Berry
Gérard Berry, Professeur au Collège de France, membre de lAcadémie des sciences. Actuellement titulaire de la chaire dinformatique et sciences numériques au Collège de France, Gérard Berry est membre de lAcadémie des sciences, de lAcadémie des technologies et de lAcademia Europaea. Formé à lEcole polytechnique, il a depuis été chercheur à lÉcole des mines de Paris et à lINRIA de 1970 à 2000, mais aussi Directeur scientifique de la société Esterel Technologies de 2001 à 2009 puis dInria, ainsi que Président de la Commission dévaluation de cet institut jusquen 2012, année à laquelle il est fait Chevalier de la Légion dhonneur.
En 2014, Gérard Berry est lauréat de la plus haute distinction scientifique française : la Médaille dor du CNRS. La contribution scientifique de ce pionnier de linformatique 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, cest-à-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 cur de la démarche de Gérard Berry.
Gérard Berry, Professeur au Collège de France, membre de lAcadémie des sciences.
Actuellement titulaire de la chaire dinformatique et sciences numériques au Collège de France, Gérard Berry est membre de lAcadémie des sciences, de lAcadémie des technologies et de lAcademia Europaea. Formé à lEcole polytechnique, il a depuis été chercheur à lÉcole des mines de Paris et à lINRIA de 1970 à 2000, mais aussi Directeur scientifique de la société Esterel Technologies de 2001 à 2009 puis dInria, ainsi que Président de la Commission dévaluation de cet institut jusquen 2012, année à laquelle il est fait Chevalier de la Légion dhonneur.
En 2014, Gérard Berry est lauréat de la plus haute distinction scientifique française : la Médaille dor du CNRS. La contribution scientifique de ce pionnier de linformatique 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, cest-à-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 cur de la démarche de Gérard Berry.