Sites Inria

Il y a 2 Résultats avec le mot clé : "SCADE"

© Inria / Photo G .Scagnelli

Prix Inria 2016

Marc Pouzet : Prix de l’Innovation Inria - Académie des sciences - Dassault Système

Citizen Press - 21/11/2016

Récompensé par le Prix de l’Innovation Inria - Académie des sciences - Dassault Systèmes, Marc Pouzet est un spécialiste des langages synchrones. Ses recherches portent sur la conception, la sémantique et l’implémentation de langages de programmation pour mettre en œuvre des systèmes embarqués. Ses travaux ont notamment permis le développement de SCADE KCG 6, langage et environnement utilisés pour réaliser les logiciels critiques dans les avions et les trains.

Mots-clés :

Accueil > Institut > Inria en bref > Prix Inria > Lauréats 2016 > Marc Pouzet : Prix de l’Innovation

Lire la suite

Enseignement informatique

Cycle de cours et séminaires de Gérard Berry (Collège de France)

15/01/2014 au 29/01/2014

Pour son cycle de cours 2013/2014, Gérard Berry, titulaire de la Chaire "Algorithmes, Machines et langages" du Collège de France, a choisi de donner ses 3 premiers cours et séminaires au centre Inria à Sophia Antipolis les mercredi 15, 22 et 29 Janvier prochains.

Lieu : Inria Sophia Antipolis - Méditerranée, Bâtiment Kahn, Amphi Morgenstern

Intervenant(s) : Gérard Berry, Professeur au Collège de France

Mots-clés :

Accueil > Centre > Sophia > Agenda > Cycle de cours et séminaires de Gérard Berry (Collège de France)

lire la suite

Haut de page

Suivez Inria tout au long de son 50e anniversaire et au-delà !