Sites Inria

Il y a 3 Résultats avec le mot clé : "Esterel"

© Inria / Photo C. Tourniaire

Distinction

Gérard Berry Médaille d’or du CNRS

24/09/2014

La médaille d’or du CNRS, la plus prestigieuse récompense scientifique française, distingue cette année Gérard Berry, ancien Directeur de recherche Inria et ancien Président de la Commission d'évaluation d'Inria, titulaire depuis 2012 de la première chaire dans le domaine informatique au Collège de France.

Mots-clés :

Accueil > Actualité > Actualités Inria > Gérard Berry Médaille d’or du CNRS

Lire la suite

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

Start-up - Esterel Technologies

Amar Bouali : "Le premier atelier entrepreneurial est né chez Inria"

AB - 22/12/2014

Amar Bouali est collaborateur d’Esterel Technologies, le principal fournisseur mondial d’outils de conception, de validation et de génération de code pour les applications logicielles critiques embarquées, dans les industries de l’aérospatiale, de la défense, du transport ferroviaire et de l’énergie.

Mots-clés :

Accueil > Innovation > Recherche partenariale & Transfert > Start-up > Amar Bouali, Esterel Technologies

Lire la suite

Haut de page

Suivez Inria