Captation du cours de Gérard Berry et du séminaire Coq

Date:
Mis à jour le 24/04/2020
Gérard Berry, titulaire de la Chaire "Algorithmes, Machines et langages" du Collège de France, a donné le 13 décembre dernier son premier cours de l'année 2018-2019 "Où va l'informatique ?" à Bordeaux ; il a été suivi du séminaire "Coq : aspects pratiques de la théorie des types" animé par Yves Bertot, responsable de l'équipe-projet Marelle du centre Inria Sophia Antipolis - Méditerranée.

Cours de Gérard Berry, professeur au Collège de France

Où va l'informatique ?

" En théorie, la théorie et la pratique c'est pareil, en pratique c'est pas vrai -Yogi Berra

 

Séminaire Coq

Coq : aspects pratiques de la théorie des types

Yves Bertot - responsable de l'équipe-projet Marelle, Inria Sophia Antipolis - Méditerranée

Biographie de Gérard 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 à 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 .

Voir aussi

Les cours d'informatique donnés cette année au Collège de France :