Il y a 1 Résultats avec le mot clé : "lambda calcul"
Gérard Berry
-
© INRIA Photo J.M.Ramès
Histoire d'Inria
Gérard Berry, comment le monde devient numérique ?
Polytechnicien et ingénieur des Mines, il a soutenu une thèse d'état en mathématiques en 1979. Il a rejoint Inria en 1980, où un axe fort de son travail de recherche a été le développement du langage Esterel. Ce langage permet d'expliquer la synchronisation temporelle de tâches et de prouver leur bon déroulement.
Mots-clés :
Accueil > Institut > Inria en bref > Ceux qui ont fait Inria > Gérard Berry
Inria
Inria.fr
Inria Channel