Rechercher
Contactez-nous Suivez-nous sur Twitter En francais English Language
 











Abonnez-vous gratuitement à notre NEWSLETTER

Newsletter FR

Newsletter EN

Vulnérabilités

Se désabonner

Inria et Nomadic Labs s’associent pour de ?velopper un programme de recherche sur la technologie blockchain

janvier 2020 par Emmanuelle Lamandé

Inria, l’institut national de recherche en sciences et technologies du nume ?rique, et Nomadic Labs, laboratoire de recherche et de de ?veloppement de la blockchain Tezos, de ?voilent leur accord-cadre de recherche partenariale. Cet accord finance de ?ja ? quatre actions de recherche et les travaux de plus de dix chercheurs et deux inge ?nieurs.

Un comité ? conjoint de pilotage scientifique du programme, est, dans le cadre de cet accord, charge ? de se ?lectionner des actions de recherche dont l’objectif est de renforcer et de ?velopper les bases de la technologie Tezos, et de ses applications. S’inscrivant pleinement dans la strate ?gie de recherche du projet Tezos, l’ensemble des re ?sultats scientifiques et logiciels produits dans ce cadre seront librement accessibles, et contribueront ainsi a ? renforcer l’impact de la recherche franc ?aise sur les technologies logicielles en ge ?ne ?ral et blockchain en particulier.

Les liens entre Inria et Nomadic Labs sont historiques. Le langage de programmation OCaml, qui est utilise ? dans une imple ?mentation du protocole Tezos et les techniques de certification de programmes, comme l’assistant de preuves Coq qui apportent fiabilite ? et se ?curite ? a ? Tezos et a ? ses smart contracts, sont directement issus de plusieurs de ?cennies de recherches au cœur des e ?quipes-projets d’Inria. Inria a e ?galement une grande expertise dans de nombreux autres domaines utiles a ? Tezos, comme la programmation distribue ?e, la cryptographie et plus ge ?ne ?ralement la cyberse ?curite ?.
A ? ce jour, ce sont de ?ja ? quatre actions de recherche et plus de dix chercheurs qui sont finance ?s par le biais de cet accord-cadre.


Voir les articles précédents

    

Voir les articles suivants