Profile
125

Gérard
Berry

Date de naissance : 25/12/1948
Nationalité : Française
Nation d'élection : France
activité professionnelle
Fonction : Membre de l'Académie des sciences
Société : Collège de France
Adresse : 11 place Marcelin Berthelot , 75005
Ville : Paris
Pays : France
diplômes

-       Ecole Polytechnique, de 1967 à 1970

 

-       Corps des Mines, de 1970 à 1973

 

-       Université Paris VII, de 1973 à 1979

carrière

-      Maître de recherche à l'école des Mines de Paris (1972-1993)

 

-      Directeur de recherche à l'école des Mines de Paris (1993-2000)

 

-      Co-responsable d'un projet commun Ecole des Mines / INRIA (1983-2000)

 

-      Directeur du Centre de mathématiques appliquées à l'école des Mine à Sophia-Antipolis (1993-2000)

 

-      Ingénieur Général des mines (1995).

 

-      Directeur scientifique de la société ESTEREL Technologies(2001 - 2009)

-      Professeur associé au collège de France (2007-2008), chaire d'Innovation technologique Liliane Bettencourt

-      En détachement à l'Inria de mars 2009 à septembre 2012, président de la commission de l'évaluation de la recherche Inria

-      Professeur associé au collège de France (2009-2010), chaire Informatique et sciences numériques

-      Professeur titulaire au Collège de France, chaire Algorithmes, machines et langages (septenbre 2012).


participations

-       Membre de l'Academia Europaea (1993)

 

-       Membre de l'Académie des sciences (2002)

 

-       Membre de l'Académie des technologies (2005)

compétences

-       Modélisation du calcul informatique

 

-       Programmation des systèmes embarqués et temps-réels

 

-       Design et synthèse de circuits électroniques

 

-       Vérification automatique de programme et de circuits


-       Enseignement de l'informatique au grand public

oeuvres et travaux

-     Travaux sur le lambda-calcul comme modèle de la programmation (1973-1990)

 

-     Modèles mathématiques du parallélisme

 

-     Conception du langage ESTEREL (1985-2005).

 

-     Plus de 50 publications scientifiques

 

-     Activités de consulting technique (Bell Labs, Digital Equipment, Synopsys, Cadence, Schneider Electric, etc.)

 

-     Entré comme Directeur Scientifique à Esterel Technologies 1 an après la création de l'entreprise autour de mes résultats de recherches