Le Directeur Scientifique d'Esterel Technologies est le quatrième informaticien élu à l'académie des sciences
MOUNTAIN VIEW, Californie et Elancourt, France (January 13, 2003)
Gérard Berry, créateur du langage ESTEREL et Directeur Scientifique d'Esterel Technologies, fournisseur global de solutions pour le développement de systèmes critiques, est le quatrième de l'Histoire de l'Académie des Sciences à être élu membre pour des travaux en informatique.
L'Académie des Sciences dont l'Histoire remonte à 1666 élit ses membres parmi les savants Français les plus éminents, internationalement reconnus pour leur contribution scientifique.
Gérard Berry, 54 ans, spécialiste de la sémantique mathématique de la programmation est connu pour ses travaux théoriques précurseurs ayant conduit au concept de langages synchrones. C'est dans les années 1990, avec son équipe de recherche du Centre de Mathématiques Appliqués de l'École des Mines dont il était le Directeur, et en collaboration avec l'INRIA que Gérard Berry a développé le langage synchrone Esterel. Avec la collaboration d'entreprises à forte expertise technologique comme Dassault Aviation, Gérard Berry à appliqué Esterel à la conception de systèmes logiciels embarqués, puis ensuite à la conception de circuits électroniques.
Devenu Directeur Scientifique d'Esterel Technologies en 2001, il se consacre maintenant à la création de la prochaine génération de langages synchrones, fondation scientifique sur laquelle reposent les solutions “correctes par construction” allant de la spécification à l'implémentation de l'offre commerciale d'Esterel Technologies.
”Ce grand honneur souligne l'importance industrielle des sujets de programmation sur lesquels j'ai travaillé pendant trente ans“, déclare Gérard Berry. ”Au sein d'Esterel Technologies, je valorise ce travail en développant des outils qui permettent aux industriels de créer de l'électronique fiable pour les applications critiques, ceci afin que les voitures restent sur les routes et que les avions restent en l'air.“
A propos d'Esterel Technologies
Esterel Technologies fournit aux concepteurs de systèmes électroniques et de logiciel embarqué des produits et méthodes pour améliorer leur productivité et franchir les obstacles entre les étapes de spécification, d'implémentation et de validation. Les produits proposés par la société automatisent le travail de codage et de validation gràce à la spécification exécutable, la génération de suites de test intelligentes et la génération automatique de code. Esterel Technologies est implantée internationalement et comporte des bureaux en France, Allemagne, Royaume-Uni et aux Etats Unis
Pour plus d'information : www.esterel-technologies.com
联系我们
Esterel Technologies
Linda Prowse Fosler
Phone : 650-641-1706
linda.prowse-fosler@esterel-technologies.com
Cayenne Communication
Michelle Clancy
Phone : 252-940-0981
michelle.clancy@cayennecom.com
###
⇑