Gérard Berry Élu Membre le 3 décembre 2002 Section : Sciences mécaniques et informatiques

Gérard Berry, né le 25 décembre 1948, est Directeur scientifique d'Esterel Technologies.

Formation et carrière

Œuvre scientifique

Gérard Berry travaille sur les langages de programmation, leur sémantique mathématique, la compilation de ces langages sur cibles matérielles ou logicielles, et la vérification formelle des programmes et des circuits électroniques. Ses travaux ont concerné trois types de domaines: les langages de programmation fonctionnels, les langages parallèles et temps-réel, et les circuits électroniques.
De 1973 à 1979, Gérard Berry a travaillé sur le lambda-calcul en tant que cœur logique des langages de programmation et de leur sémantique mathématique.
De 1980 à 1982, il a développé le langage fonctionnel CDS (Concrete Data Structure) fondé sur ces théories.
Ses travaux sur le parallélisme et le temps réel ont ensuite conduit à la définition de la machine chimique (CHAM), devenue un modèle standard du parallélisme asynchrone, et surtout à celle du modèle synchrone pour les applications temps-réel embarquées et les circuits intégrés. Le langage synchrone Esterel conçu par Gérard Berry dès 1982 est destiné à la spécification, à la synthèse et à la vérification de programmes temps-réels et de circuits électroniques. Plusieurs versions successives de compilateurs académiques en ont été développées de 1985 à 2000.
Le langage et son outillage prototype ont été utilisés ou évalués en milieu industriel dès la fin des années 1980, par exemple en télécommunications, en robotique, en avionique et en modélisation de circuits. Ces expériences ont permis de savoir comment réaliser le passage à l'échelle des vraies applications et comment aborder le problème crucial en pratique de la vérification automatique de la sûreté des programmes.
La technologie synchrone a ensuite été à l'origine de la création de la société Esterel Technologies, en 2000. Cette société fournit des produits et des méthodes de conception et de programmation de systèmes critiques aux grands acteurs de l'avionique, du ferroviaire, de l'automobile et de l'électronique.

Mots clés : langages programmation, circuits digitaux, temps-réel, vérification formelle

Distinctions et Prix

Membre de l’Académie des technologies (2003)
Membre de l’Academia Europaea (1993)

Médaille de bronze du CNRS (1979)
Prix Monpetit de l'Académie des sciences (1990)
Prix Science et Défense du ministère de la Défense (1999)
Grand prix de la fondation EADS pour l’application des sciences à l’industrie (2005)
Chevalier des palmes académiques
Chevalier de l'Ordre national du Mérite

 

Publications les plus représentatives

G. BERRY
Bottom-up Computations of Recursive Programs
RAIRO Informatique Théorique (1976) 10, 47-82

G. BERRY, J-J. LÉVY
Minimal and Optimal Computations of Recursive Programs
Journal of ACM (1979) 26, 148-175

G. BERRY, P-L. CURIEN
Sequential Algorithms on Concrete Data Structures
Theoretical Computer Science (1982) 20, 265-321

G. BERRY, P-L. CURIEN
Theory and Practice of Sequential Algorithms: the Kernel of the Programming Language CDS
Dans Algebraic Methods in Semantics
Cambridge University Press (1985) 35-88

G. BERRY, P-L.CURIEN, J-J. LÉVY
Full Abstraction for Sequential Languages: the State of the Art
dans Algebraic Methods in Semantics
Cambridge University Press (1985) 89-132

G. BERRY, R. SETHI
From Regular Expressions to Deterministic Automata
Theoretical Computer Science (1986) 48, 117-126

G. BERRY, G. GONTHIER
The Synchronous Programming Language ESTEREL: Design, Semantics, Implementation
Science of Computer Programming (1992) 19, 83-152

G. BERRY
Esterel on Hardware
Philosophical Transactions Royal Society of London A, (1992) 339, 87-104

G. BERRY, G. BOUDOL
The Chemical Abstract Machine
Theoretical Computer Science, (1992) 96, 217-248

G. BERRY
The Foundations of Esterel
Dans Proof, Language and Interaction: Essays in Honour of Robin Milner
Eds. G. PLOTKIN, C. STIRLING, M. TOFTE
MIT Press (2000)

 

Principaux ouvrages

G. BERRY
The Esterel v5 Primer
Livre web disponible
sur www.esterel-technologies.com/technology/scientific-papers/overview.html

G. BERRY
The Constructive Semantics of Pure Esterel
Livre web disponible
sur www.esterel-technologies.com/technology/scientific-papers/overview.html

G. BERRY, D. POTOP, S. EDWARDS
Compliling Esterel
Ed. Springer (2007)

G. BERRY
Penser, modéliser et maîtriser le calcul informatique
Ed. Collège de France-Fayard (2009)

Le 25 novembre 2009