The first Tezos Masterclass was held at the Nanyang Technological Institute 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