Course Schedule

This page shows planning of the lectures of the IST course. See the education page for information about times and locations of lectures

WEEK 1 (36)

• Lecture 1
  • Topic: What is Software Technology?
  • Lecturer: DoaitseSwierstra

• Lecture 2
  • Topic: The Master Program Software Technology
  • Lecturer: Eelco Visser

WEEK 2 (37)

• Lecture 3
  • Topic: cancelled due to sickness
  • Lecturer: Doaitse Swierstra

• Lecture 4
  • Topic: Program verification
  • Lecturer: Wishnu Prasetya

WEEK 3 (38)

• Lecture 5
  • Topic: Program verification
  • Lecturer: Wishnu Prasetya

• Lecture 6
  • Topic: Generic programming
  • Lecturer: Johan Jeuring

WEEK 4 (39)

• Lecture 7
  • Topic: Program transformation (1)
  • Lecturer: Eelco Visser

• Lecture 8
  • Topic: Program transformation (2)
  • Lecturer: Eelco Visser

WEEK 5 (40)

• Lecture 9
  • Topic: Program Analysis (1)
  • Lecturer: Jurriaan Hage

• Lecture 10
  • Topic: Program Analysis (2)
  • Lecturer: Jurriaan Hage

WEEK 6 (41)

• Lecture 11
  • Topic: Embedding Domain Specific Languages in Haskell
  • Lecturer: Doaitse Swierstra

• Lecture 12
  • Topic: AdvancedHaskell
  • Lecturer: Doaitse Swierstra

WEEK 7 (42)

• Lecture 13
  • Topic: Advanced Haskell (2)
  • Lecturer: Doaitse Swierstra

• Lecture 14
  • Topic: Advanced Haskell (3)
  • Lecturer: Doaitse Swierstra