|
Gérard BERRY |
Expert en qualité logicielle
|
|
|
 |
Gérard Berry est ingénieur général des Mines, détaché à INRIA en tant que Directeur de recherche.
Ses principaux centres d’intérêts sont les suivants : modélisation mathématique de la programmation et des circuits digitaux, langages de programmation, synthèse automatique de logiciel ou matériel à partir de descriptions de haut niveau, preuves formelles de circuits et programmes ; enseignement de l’informatique à tous les niveaux, de l’enfance au professionnel ; diffusion scientifique au grand public.
Auparavant, il a été :
- Professeur au Collège de France, chaire Informatique et sciences numériques en 2009-2010
- Professeur au Collège de France, chaire d’Innovation technologique en 2007-2008
- Membre de l’Académie des sciences, de l’Académie des technologies, et de l’Academia Europaea
- Membre du Conseil scientifique de l’IRCAM
- Membre du conseil d’administration de l’Agence Nationale de la Recherche
- Membre du Conseil Scientifique de l’Université Pierre et Marie Curie, Paris 6
Il a reçu le grand prix EADS des applications des sciences à l’industrie en 2005. |
|
|
|
|
|
