Message
Fermer
Mot de passe oublié
Rechercher
Entrez au moins 3 caractères
Rechercher|Se connecter
 test
FiltresHaut de pageBas de page
Filtres
Haut de page
Bas de page
Who's who    Gérard Berry

Gérard Berry

Né le 25 décembre 1948. 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 de 1970 à 2000, Directeur scientifique de la société Esterel Technologies de 2001 à 2009 puis Directeur scientifique 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.
Qualités
Académie / Collèges / Belgique / Conférencier
Télécoms
Privé / Prof.GenreTélécom
Internethttp://www.college-de-france.fr/site/gerard-berry/index.htm
Cours-conférences au Collège Belgique
DateCours-conférenceLeçon
13/09/2018Le Collège Belgique reçoit le Collège de FranceComment rendre l'informatique plus sûre
18/09/2018Le Collège Belgique reçoit le Collège de FranceLe temps et les événements, de la physique à l’informatique et à la musique