- The Tezos Foundation has released a number of grants for crypto projects
- The beneficiaries of the most recent grants are Kyoto University and Edukera University, based in Japan and France
On September 17, 2019, the Tezos Foundation announced that it had awarded a scholarship to Japan-based Kyoto University. The purpose of this grant is to further advance Tezos’ smart contract development ecosystem.
With this scholarship, Kyoto University has done the newest, simplest research Michelson Type testing for the further development of static verification techniques for Michelson and higher-level intelligent contract languages from Tezos.
The Kyoto University team would create an accessible development tool for these verification techniques and contribute to the development of the Tezos ecosystem in Japan and the entire Asian region.
They would be led by Atsushi Igarashi, Ph.D., professor in the Graduate School of Computer Science, and Kohei Suenaga, Ph.D., an Associate Professor in the Graduate School of Computer Science. Jun Furuse from DaiLambda and Tezos Japan would also be involved in the Kyoto University project.
The main objective of this project is to encourage decentralized development and solid participation.
Tezos in crypto projects in France
The same day the foundation issued A similar scholarship for Edukera from France, an online application for teaching formal logic and math.
The team was founded in 2013 by Benoit Rognier and Guillaume Duhamel and has a proven track record of delivering learning solutions based on the Coq Proof Assistant to the public.
In fact, the Edukera team previously checked the properties of several Tezos Smart Contracts and start of the development of a new Tezos Smart Contracts language, Archetype. An archetype is a domain-specific language for developing smart contracts for Tezos, with an emphasis on making it easier to facilitate formal verification.
The Edukera team is led by the scientific director Pierre-Yves Strub, an assistant professor at and Ph.D. Recipient in computer science from the École Polytechnique in Paris.
Core task of the Tezos Foundation
The main focus of the Tezos Foundation is on supporting the long-term success of the Tezos Protocol and the ecosystem. They plan to accomplish this through financing Projects in the Tezos ecosystem. These projects include projects that focus on developing applications built with Tezos smart contracts, various tools for developers using Tezos, Tezos-oriented training projects, Block Explorer, and marketing projects that Tezos use on the map in the Crypto space is placed.
At the beginning of last week the foundation announced It had released 14 new grants for projects tracking the advancement of the Tezos project.
Recipient projects prioritized developments such as applications built with Tezos smart contracts, Tezos block explorers, Tezos-focused training resources, and marketing activities that increase awareness of the ecosystem.
Comments are closed.