Sites Inria

Il y a 4 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

Haut de page

Suivez Inria