The Tezos Foundation announced new partnerships of support with OCaml Labs and the IMDEA Software Institute. The goal of both partnerships is to ensure the future development of the Tezos protocol and provide much-needed funding for expanded education and research into the fields of cryptography, computer security, formal verification, distributed systems, and functional programming languages.
According to the press release:
The Tezos Foundation is committed to funding world-class research that will contribute to the Tezos protocol and ecosystem. To that end, the Foundation is proud to announce its support of two additional projects that will greatly contribute to the research, development, and long-term success of Tezos.
With the Tezos launch around the corner, the need for ongoing development and a worldwide base of coders is critical for long term success of the protocol. The Foundation has been on a roll when it comes to creating partnerships and funding for this important effort.
OCaml Labs is an effort run across multiple groups in the University of Cambridge Computer Laboratory. The goal of the groups is to push OCaml and functional programming forward as a platform, making it a more effective tool for current users and, at the same time, growing the appeal of the language. The focus will also be on broadening its applicability and popularity by a combination of technological advancements, creation of community infrastructure, and public communications.
Tezos is built on the OCaml language so developing the platform further including new standards, development tools, and wider availability of educational resources will create a larger pool of programmers in the years ahead.
IMDEA Software Institute
The focus of the IMDEA Software Institute (the Madrid Institute for Advanced Studies in Software Development Technologies) is to perform research required to devise methods that will allow the cost-effective development of software products with sophisticated functionality and enterprise quality, which consists of safety, reliability, and efficiency. In order to achieve this goal the Institute is gathering a critical mass of the world’s top researchers and providing them with an ideal research environment.
In cooperation with IMDEA, the Tezos Foundation will establish “a multi-year research, training, and dissemination program,” with the objective of addressing Tezos-related technologies. More specifically, the focus will be on the technology surrounding the Tezos cryptographic ledger and smart contracts, with an orientation toward privacy, correctness, robustness, and scalability.
Full press release and details of the announcement available here.