Sites Inria

Événement

Cours de Gérard Berry & séminaire

Gérard Berry, titulaire de la Chaire "Algorithmes, Machines et langages" du Collège de France, donnera son premier cours de l'année 2018-2019 intitulé "Où va l'informatique ?" à Bordeaux,  sur le campus universitaire de Talence, le jeudi 13 décembre à 16h.

  • Date : 13/12/2018
  • Lieu : Agora du Haut-Carré - 43 rue Pierre Noailles - 33405 Talence

Cours de Gérard Berry

Où va l'informatique ?

En théorie, la théorie et la pratique c'est pareil, en pratique c'est pas vrai

  • 16h-17h30 à l'Agora du Haut-Carré 

Séminaire suivant le cours

Coq : aspects pratiques de la théorie des types

Yves Bertot - Inria Sophia-Antipolis et Pierre Castéran - Labri, Laboratoire Bordelais de Recherche en Informatique

  • 17h30-18h30 à l'Agora du Haut-Carré 

Informations pratiques

GERARD BERRY

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,
  • la vérification formelle des programmes et circuits.

Il est le créateur du langage de programmation Esterel.

Haut de page

Suivez Inria tout au long de son 50e anniversaire et au-delà !