Programmable Society with Smart Contracts

This is the home of course "Programmable Society" at KTH Royal Institute of Technology, Stockholm, Sweden (course code DD2485).

Martin Monperrus (monperrus.eth) (Professor), Benoit Baudry (Professor), Javier Ron (TA), Deepika Tiwari (TA), Mojtaba Eshghie (TA), Javier Cabrera(TA)

All communications happen on this repo as issue / PR, or by email to [email protected].

Agenda

Reference schedule is at https://www.kth.se/social/course/DD2485/. The lab queue is DD2485.

1. Nov 1 2023 Introduction

Intro: Course introduction (Teaching philosophy, Flipped classroom, Expectations, Team, Agenda, Grading, Communication, Master's theses and Research). Topic introduction.

2. Nov 8 2023 Languages

• smart contract languages

3. Nov 15 2023 DeFi

• smart contracts for finance (Defi)

4. Nov 22 2023 Engineering

• tool support for smart contracts
• secure smart contracts, verification
• smart contract libraries

5. Nov 29 2023 Art

• smart contracts for art (NFT)

6. Dec 8 2023 Infrastructure

• blockchain infrastructure
• blockchain monitoring & Analytics

7. Dec 13 2023 DAO

• digital identities
• smart contracts for governance (DAO)

Topics for all weeks

• philosophy and ethics of the blockchain paradigm
• empirical knowledge about smart contracts

Format

Teaching style is flipped classroom, grading is project-based, see examination rules at https://github.com/KTH/programmable-society/blob/2023/grading-criteria.md