The Tezos Foundation will support Inria and Tarides in their research and development of technologies that relate to the Tezos protocol. https://tezosfoundation.ch/news/tezos-foundation-support-inria-tarides/
