Sites Inria

There are 1 Results with the keyword : "lambda calcul"

Gérard Berry © INRIA Photo J.M.Ramès Gérard Berry - © Inria Photo J.M.Ramès

History of Inria

Gérard Berry: How the world is turning digital

A graduate of the Ecole Polytechnique and the Ecole des Mines, he completed a PhD in mathematics in 1979. In 1980 he joined Inria, where much of his research work centred around the development of the Esterel language. This language is used to explain the temporal synchronisation of tasks and prove that they are correctly executed.


Home > Institute > Inria in brief > The people who made Inria > Gérard Berry