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

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 .