The first Tezos Masterclass was held at the Nanyang Technological University from 19th October to 28th October 2018.
- This Tezos Masterclass 2018 is organised and conducted by Tezos Southeast Asia in collaboration with NTU
- Student participants commit to the two weekends of MasterClasses with the Hackathon as an option.
Topics covered include:
FORMAL METHODS IN SOFTWARE ENGINEERING
- Failures of critical embedded systems
- Success stories
- A shift in education
- The mathematics of formal methods
- The limits
THEORY OF PROGRAMMING
- Rewrite systems
- Functional languages
- Stacks in a functional setting
- Data sharing
- The call stack and the heap
- Tail call optimisation
OCAML: A PROGRAMMING LANGUAGE FOR FORMAL METHODS
- Mini-ML as a subset of OCaml
- Sentences and expressions of Mini-ML
- Evaluation of Mini-ML and formal semantics
- Recursive definitions
- Variant types and pattern matching
- Extending Mini-ML with side-effects (optional)
- Data structures in OCaml (search trees)
BLOCKCHAIN NETWORKS AND SMART CONTRACTS
- The Tezos protocols
- The design of Liquidity and Michelson: two
- Domain-Specific Languages for smart contracts
- A small example in Michelson
- Demo: Running the contract on the Tezos blockchain
TEZOS BLOCKCHAIN (CLIENT SIDE)
- Design and innovation in application dev cycle
- The mobile wallet Cortez
- The block explorer TezScan
- The middleware Mezos