Sites Inria

Il y a 5 Résultats avec le mot clé : "Récompense"

Prix de thèse

Jifeng Xuan récompensé pour sa thèse en génie logiciel

28/01/2015

Jifeng Xuan, postdoctorant au sein de l'équipe Spirals vient de recevoir le Prix CCF (China Computer Federation ) 2014 d’excellence doctorale, pour les travaux effectués pendant sa thèse à la Dalian University of Technology (DUT) de Chine.

Mots-clés :

Accueil > Centre > Lille > Actualités > Jifeng Xuan récompensé pour sa thèse en génie logiciel

Lire la suite

1984

Coq : 7 dates clefs

Mathilde De Vos -

Le logiciel Coq reçoit le 23 janvier 2014 le SIGPLAN Programming Languages Software Award. Ce prix récompense chaque année un logiciel ayant eu un impact significatif dans la recherche ou le développement des langages de programmation. Le projet en 7 dates.

Mots-clés :

Accueil > Innovation > Recherche partenariale & Transfert > COQ > Chronologie

Lire la suite

Coq : 30 années de travail d’équipe

Julien Thèves, Citizen Press -

Conçu il y a trente ans dans le laboratoire de Paris-Rocquencourt de l'INRIA, l’assistant de preuve Coq continue de mobiliser les équipes de recherche. Son développement continu témoigne de l’intérêt que lui porte la communauté scientifique, et maintenant le secteur économique.

Mots-clés :

Accueil > Innovation > Recherche partenariale & Transfert > COQ > 30 ans de travail d’équipe

Lire la suite

Coq : la preuve par le logiciel

Julien Thèves, Citizen Press -

Récompensé par le prix SIGPLAN1 Programming Languages Software Award en janvier 2014, le logiciel Coq constitue depuis près de trente ans un support précieux pour les informaticiens qui l’utilisent comme outil d’aide à l’écriture et à la vérification de programmes. Très performant, cet assistant de preuve séduit désormais les mathématiciens.

Mots-clés :

Accueil > Innovation > Recherche partenariale & Transfert > COQ > La preuve par le logiciel

Lire la suite

Honorary Doctor Anne Canteaut @Université de Bergen

Distinction

Anne Canteaut nommée Honorary Doctor de l'Université de Bergen, Norvège

16/10/2019

Depuis 1951 l’université de Bergen, en Norvège, nomme des Honorary Doctors , le plus haut degré d’honneur que l’université peut délivrer à tous ceux qui, ne travaillant pas pour l’université, se sont distingués par la qualité remarquable de leur travail dans un domaine particulier.

Le 15 octobre 2019, Anne Canteaut, directrice de recherche à Inria et responsable scientifique de l’équipe-projet SECRET, s’est vu délivrer le prestigieux titre.  

Mots-clés :

Accueil > Centre > Paris > Actualités > Anne Canteaut nommée Honorary Doctor de l'Université de Bergen, Norvège

Lire la suite

Haut de page

Suivez Inria