Sites Inria

There are 3 Results with the keyword : "Esterel"

© Inria / Photo C. Tourniaire

Honour

Gérard Berry receives CNRS Gold Medal

24/09/2014

This year's CNRS Gold Medal, France's highest honour for scientific work, has been awarded to Gérard Berry, former Research Director for Inria, former President of the Inria Evaluation Committee and, since 2012, occupant of the first chair in computer science at the Collège de France.

Keywords:

Home > News > News from Inria > Gérard Berry Médaille d’or du CNRS

More

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.

Keywords:

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

More

Amar Bouali, Ansys

Start-up - Esterel Technologies

Amar Bouali : "That was where the first entrepreneurial workshop was born"

AB - 22/12/2014

Amar Bouali talks about his collaboration with Esterel Technologies, the leading global provider of design tools, validation tools and code generation for critical embedded software applications.

Keywords:

Home > Innovation > Research Partnerships & Transfer > Start-ups > Amar Bouali, Esterel Technologies

More

Top