The Tezos Foundation is establishing a multi-year research, training, and dissemination program with IMDEA Software Institute to address Tezos-related technologies including cryptography, computer security, formal verification, distributed systems, and programming languages.
IMDEA’s program will focus on the technology surrounding the Tezos cryptographic ledger and smart contracts, which will help advance developments in privacy, correctness, robustness, and scalability. The Tezos Foundation will also offer support to IMDEA’s successful Master’s/PhD program with the Technical University of Madrid to provide additional focus and research on topics related to Tezos.
Relevant Links: