PROJETS DISTINGUES
Prix Oseo du meilleur poster 2010
PlugDB : Dossier Personnel Nomade et Sécurisé (RNTL 2006)
Luc BOUGANIM - INRIA - Paris - Rocquencourt
http://www-smis.inria.fr/~DMSP
Prix de thèse ASTI
Recherche appliquée
IRM à Hautes Résolution Angulaire
Maxime Descoteaux - Sherbrooke University
M.Descoteaux@USherbrooke.ca
Recherche fondamentale
Une étude logique du contrôle (appliqué à la programmation fonctionnelle et logique)
Alexis Saurin
http://www.pps.jussieu.fr/~saurin/
3 Projets illustratifs du domaine
SAPHIR2 : Sécurité et Analyse de Primitives de Hachage Innovantes et Récentes
Jean-François MISARSKY - France Télécom
www.saphir2.fr
COMPCERT : Vérification formelle d'un modèle mémoire pour le langage C
Xavier LEROY - INRIA - Paris - Rocquencourt
http://compcert.inria.fr/
SCENARI : la chaine éditoriale libre
Stéphane CROZAT - UTC Compiègne
http://scenari-platform.org
