Research

Universities and Research Centers working on Tezos

Baking Bad

Tezos Labs by Baking Bad: an interactive Tezos developer training program to help onboard more developers to the Tezos ecosystem.

Website: https://baking-bad.org/

B9lab

Leading provider of blockchain specific education and training. So far, B9lab has trained about 250 new Tezos developers).

Website: https://b9lab.com/

BUIDL Labs

Interactive code school that will onboard new Tezos developers by teaching them to write SmartPy smart contracts.

Website: https://github.com/buidl-labs/crypto-code-school-inside-tezos

COCTI (Certifiable OCaml Type Inference)

By Jacques Garrigue, a professor at the Graduate School of Mathematics of Nagoya University. Throughout this project, Jacques and his team will make OCaml type inference more robust, modular, and verifiable by modularizing the OCaml type checker using constraint-based type inference and certifying it using the Coq proof assistant.

Website: https://www.math.nagoya-u.ac.jp/~garrigue/

Cornell University

Two-year research and development project on possible sharding implementations for Tezos.

Website: https://arxiv.org/abs/1909.08458

France-IOI

Develops educational tools, content, and activities to help a growing number of students learn about programming, and the technologies underpinning Tezos.

Website: http://www.france-ioi.org/

Freiburg University

Contract Orchestration for Ocaml, a project to ensure a smooth interaction between OCaml and Michelson.

Website: https://www.uni-freiburg.de/

IIT Madras

Website: https://www.iitm.ac.in/

Imperial College London

Exploring: 1) potential attacks against on-chain governance in Tezos, including attack development and discovery 2) detection of attacks while they’re happening 3) recovery mechanisms of attacks at the protocol level 4) potential dangers and counter-measures of off-chain governance

Website: https://www.imperial.ac.uk/

Inria

Inria establishes dedicated labs and commit research teams to work on cryptography, formal verifi cation, distributed systems, with Tezos and blockchain technology in general.

Website: https://www.inria.fr/en

Kyoto University

Conducts research on the current, simple Michelson type-checking to develop static verification techniques for Michelson and higher-level Tezos smart contract languages.

Website: https://www.kyoto-u.ac.jp/en/

OCaml Software Foundation

The “Learn-OCaml” project aims to increase the usage of OCaml in education and promotes its mainstream adoption.

Website: https://ocaml-sf.org/

OCTO Technology

OCTO team will build and launch Tezos Academy, a freely available online platform that will teach LIGO smart contract development in a fun and user-friendly manner.

Website: https://www.octo.com/en/

Stove Labs

Tezos Kitchen, by Stove Labs, will produce a comprehensive and up-to-date curriculum of content where developers can learn how Tezos can be utilized for a variety of use-cases.

Website: https://stove-labs.com/

Tezos Academy (LIGO)

Tezos Academy is a fun interactive tutorial developed by OCTO Technology on how to code smart contracts in LIGO.

Website: https://tezosacademy.io/

University of Beira Interior

The first project involved research on the implementation of Tezos for event logging of robots in factory environments. The second project explored tools for the static analysis of smart contracts in Michelson.

Website: https://www.ubi.pt/en/

VDF Alliance

Collection of worldclass academic, non-profit, and corporate collaborators building open-source hardware for the blockchain ecosystem.

Website: https://www.vdfalliance.org/