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