In-Fine Education

GB

Gérard BERRY

Collège de France

Professeur

Description

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, et a tenu la chaire Informatique et sciences numériques au Collège de France, de 2012 à 2019. Il a également été membre du Conseil scientifique de l’Éducation nationale. Ses travaux portent sur 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.
Loading