|
|
 | Gérard Berry, né en 1948, est ingénieur de l'École polytechnique, ingénieur général des Mines, docteur ès sciences (1979). À l'INRIA de 1972 à 1976, au Centre de mathématiques appliquées de l'École des Mines de Paris à Sophia-Antipolis de 1977 à 1982, il a ensuite co-dirigé un projet commun École des Mines / INRIA de 1982 à 2001. Depuis 2001, il est directeur scientifique de la société Esterel Technologies. Il a été élu Membre de l’Académie des Sciences le 3 décembre 2002.
Gérard Berry a travaillé sur les langages de programmation, la compilation de ces langages sur cibles matérielles ou logicielles, et la vérification 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, la synthèse de circuits électroniques. |
Gérard Berry a abordé le lambda-calcul et les langages fonctionnels. Il a entrepris l'étude de la séquentialité du lambda-calcul, la définition et l'étude du modèle des fonctions stables ainsi que la définition d'un modèle d'algorithmes séquentiels d'ordre supérieur qui a abouti au langage CDS (Concrete Data Structures). Ce langage a permis d'aborder concrètement la programmation des algorithmes d'ordre supérieur.
Ses travaux sur le parallélisme et le temps réel ont 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 Esterel, conçu par Gérard Berry, est né de ces études, et plusieurs versions successives de compilateurs en sont issues. Le langage et son outillage prototype ont été utilisés ou évalués en milieu industriel, par exemple 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 qui fournit des produits et des méthodes de design de systèmes critiques aux grands acteurs de l'avionique, de l'automobile et de l'électronique.
Prix et distinctions
Médaille de bronze du CNRS (1979)
Prix Monpetit de l'Académie des Sciences (1990)
Membre de l'Academia Europaea (1993)
Prix Science et Défense du Ministère de la défense (1999)
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
|
|
|
 |
