Les dangers d'un monde qui court vers le tout numérique
A l'heure où l'informatique devient ubiquitaire, les bugs peuvent avoir des répercussions considérables. Peut-être le signe avant-coureur d'une domination de la machine sur l'homme...
Depuis la création des premiers ordinateurs dans...
Ancien élève de l'école polytechnique et du corps des mines, membre de l'académie des sciences depuis 2002, de l'académie des nouvelles technologies et de l'academia europaea, Gérard Berry a été chercheur à l'Ecole nationale supérieure des mines de Paris, de 1970 à 2000.
Sa contribution scientifique concerne 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 ordinateurs de circuits intégrés.
Il a codirigé le projet Esterel à partir de 1982, un langage de programmation spécifique destiné aux applications embarquées et temps réel, avant d'être embauché en 2001 par Esterel technologies pour commercialiser le langage de programmation auprès d'entreprises telles qu'Airbus, pour la conception des systèmes informatiques de bord, ou Texas instrument, pour le design de microprocesseurs.
Fait chevalier de l'ordre des palmes académiques en 1994, il a également reçu le prix Science et défense en 1999 et le grand prix de la fondation EADS pour les applications de la science à l'industrie en 2005.
Pas d'article dans la liste.