Gerard Berry
Gérard Berry (born December 25, 1948 ) is a French computer scientist and professor at the Collège de France .
Berry studied from 1967 at the École polytechnique and from 1970 at the École des Mines in Paris. From 1977 he was at the branch of the École des Mines in Sophia Antipolis . In 1976 he received his doctorate in computer science from the University of Paris VII (Thèse de 3eme cycle: Calculs Ascendants des Programmes Récursifs) and his habilitation in 1979 (Thèse de Doctorat: Modèles complètement adéquats et stables des lambda-calculs typés).
He deals with programming languages, the lambda calculus , program verification, real-time and parallel programming languages, and languages for designing logic circuits. In the 1970s he was one of the original developers of the real-time programming language Esterel , which he developed as chief scientist at Esterel Technologies from 2000. Until 2009 he was chief scientist at Esterel. From 2008 he also taught at the College de France, initially on the Technology Innovation Chair Liliane Bettencourt , where he was professor from 2009 to 2010 and from 2012. In between he was research director for INRIA in Sophia Antipolis .
The Berry Sethi process is named after him and Ravi Sethi .
He is a member of the Académie des sciences (2002), the Académie des technologies (2005) and the Academia Europaea . In 2014 he received the Médaille d'or du CNRS . He is a knight of the Ordre des palmes académiques, from 2008 of the Ordre du mérite and from 2012 of the Legion of Honor .
He belongs to the pataphysicists .
Fonts
- L'informatique du temps et des événements. Fayard, Paris 2013.
- Penser, modéliser et maîtriser le calcul informatique. Fayard, Paris 2008.
- Pourquoi et comment le monde devient numérique? Fayard, Paris 2008.
Web links
| personal data | |
|---|---|
| SURNAME | Berry, Gérard |
| BRIEF DESCRIPTION | French computer scientist and university lecturer |
| DATE OF BIRTH | December 25, 1948 |