Biographie et travaux

Né le 25 décembre 1948 à Paris.

Ancien élève de l'École polytechnique et du Corps des mines, membre de l'Académie des science, de l'Académie des technologies et de l'Academia Europaea, chercheur à l'École nationale supérieure des mines de Paris et à l'INRIA de 1970 à 2000, Gérard Berry est actuellement Directeur scientifique d'Esterel Technologies. Sa contribution scientifique concerne trois principaux sujets : le lambda calcul et la sémantique formelle des langages de programmation, la programmation parallèle et temps réel, et la conception assistée par ordinateur de circuits intégrés. Il est le créateur du langage de programmation Esterel

Carrière professionnelle

1970 Ingénieur Ecole Polytechnique

1973 Ingénieur des mines

1979 Thèse de doctorat d'Etat ès sciences mathématiques

1970-1977 Chercheur à l'Ecole des Mines de Paris et à l'INRIA Rocquencourt

1977-2001 Chercheur puis directeur de recherches à l'Ecole des Mines de Paris à Sophia-Antipolis

Depuis 2001 Directeur scientifique de la société Esterel Technologies

Distinctions honorifiques

- Membre de l'Académie des sciences, de l'Académie des technologies, et de l'Academia Europaea
- 1979 Médaille de Bronze du CNRS
- 1990 Prix Monpetit de l'Académie des sciences
- 1994 Chevalier de l'Ordre des palmes académiques
- 1999 Prix Science et défense
- 2005 Grand prix de la Fondation EADS pour les applications de la science à l'industrie

Pages personnelles, avec accès aux publications

www.esterel-technologies.com/company/management-team/gerard-berry