Bachelor Course on Concurrency

Please contact Ivo Gabe de Wolff <i.g.dewolff@uu.nl> for any enquiry about the course, mentioning [INFOB3CC] in the subject.

You can join the MS Teams channel for this course by using the team code that can be found on BlackBoard.

Teaching objectives

By the end of the course you will be able to:

• Design and implement a multithreaded application in Haskell, using techniques and concepts such as:
  • Managing threads
  • Synchronise with locks, semaphores, etc.
  • Data-flow parallelism
  • Data-parallelism

• Understand the difference between concurrency and parallelism and where techniques for each can be applied to solve problems

• Calculate the complexity (work and span) of parallel algorithms

• Reason about the properties of a concurrent algorithm