Sites Inria

Il y a 1 Résultats avec le mot clé : "vérification déductive de programmes"

De gauche à droite : Claude Marché de l'équipe Toccata, et Arnaud Charlet, responsable ingénierie produit d'AdaCore - © Inria - S.Gitton

Partenariat industriel

Prix FIEEC Carnot de la Recherche Appliquée

Médiathena - CD - 17/10/2019

Le 17 octobre 2019 à Paris, le chercheur Claude Marché, directeur de l'équipe de recherche Toccata du centre Inria Saclay - Île-de-France, a reçu le premier prix FIEEC Carnot de la Recherche Appliquée 2019 . Il récompense une coopération de longue date avec l'éditeur français de logiciels libres AdaCore , spécialisé dans la fourniture d'outils de développement et de vérification de logiciels. Entretien avec l'intéressé et Yannick Moy, ingénieur R&D chez AdaCore .

Mots-clés :

Accueil > Centre > Saclay > Actualités > Prix FIEEC Carnot de la Recherche Appliquée

Lire la suite

Haut de page

Suivez Inria