Gérard Berry

Biographie

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’Institut national de recherche en informatique et en automatique (Inria) de 1970 à 2000, directeur scientifique de la société Esterel Technologies de 2001 à 2009 puis directeur scientifique de l’Inria et président de la commission d’évaluation de cet institut de 2009 à 2012. Il tient la chaire Informatique et sciences numériques au Collège de France depuis 2012, 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.

Conférence : Le hasard et le temps font-ils bon ménage dans nos têtes ? 

Les jeux sont idéaux pour montrer comment notre pensée a des idées spontanées vraiment embrouillées quand nous essayons de comprendre comment nous comporter face au hasard, surtout répété. Trois exemples le montreront de façon aussi joyeuse qu’édifiante : une étrange expérience personnelle de jeu au Loto national, une devinette ultra-classique qui marche toujours aussi bien, et enfin le fameux jeu des trois portes, vraiment trivial, mais qui a pourtant déchaîné les passions et même berné des mathématiciens ultra-confirmés.