Précédent : Actions industrielles Remonter : Actions industrielles Suivant : Actions nationales et internationales

GIE Dyade

  Participants : Valérie Ménissier-Morain, François Rouaix

Valérie Ménissier-Morain participe au projet de Dominique Bolignano qui utilise Coq pour la formalisation de protocoles sécuritaires pour le commerce électronique. François Rouaix est membre du projet VIP (Verified Internet Protocols ) : c'est dans ce cadre que se situe son travail sur le code mobile en Caml (cf. section 3.2.3 ).