Sites Inria

Il y a 1 Résultats avec le mot clé : "lambda calcul"

Gérard Berry © INRIA Photo J.M.Ramès 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

Lire la suite

Haut de page

Suivez Inria