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 :
- "Science du logiciel" par Xavier Leroy
- "Informatique et sciences numériques" par Walter Fontana