Programmable Society with Blockchains and Smart Contracts

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

Martin Monperrus (monperrus.eth) (Professor), Javier Ron (TA), Sofia Bobadilla (TA)

Course wallet: 0xcf03578d95Ca4fEe42931baAE56324a2E19b70F4 (Sepolia)

All communications happen on this repo as issue / PR (tasks), or by email to programmable-society-ta@kth.se (private channel).

See 2023 edition of the course.

Agenda

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

1. Oct 27 2025 Introduction

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

2. Nov 4 2025 Languages

• philosophy of crypto
• smart contract languages

3. Nov 10 2025 DeFi

• smart contract languages
• smart contracts for finance (Defi)

4. Nov 17 2025 Engineering

• tool support for smart contracts
• smart contract libraries

5. Nov 25 2025 Security

• secure smart contracts
• smart contract verification

6. Dec 2 2025 Infrastructure

• blockchain infrastructure
• blockchain analytics, blockchain monitoring

7. Dec 12 2025 Governance (Voting, DAO) & Art

• digital identities
• on-chain voting
• smart contracts for governance (DAO)
• smart contracts for art (NFT)

Topics for all weeks

• philosophy and ethics of crypto
• decentralization

Format

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