There are 3 Results with the keyword : "Esterel"
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.
History of Inria
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.
- Lambda calcul
- Collège de France
- Académie des sciences (French Academy of Sciences)
Start-up - Esterel Technologies
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.