Computer Science: Foundations of Computing and Concurrency

Unraveling the mysteries of Distributed Computing

Formal methods for system design

This track aims at Computer Science students with a general interest in Computing and Concurrency and the application of formal methods for system design. Computing is a fundamental phenomenon in computer science and we provide courses addressing this field in a wide range: from distributed algorithms to protocol validation, and from term rewriting to logical verification. In order to enhance background knowledge and to support the further study of foundational questions some general courses in logic and mathematics are provided as well. Concurrency naturally occurs in the specification of distributed systems, and their analysis, verification and implementation require a systematic approach, aided by formal methods. 

For detailed information on the courses of the track Computer Science: Foundations of Computing and Concurrency, please check our Study Guide. General info on the master's programme in Computer Science

Track coordinator
Femke van Raamsdonk:

Download the brochure Computer Science: Foundations of Computing and Concurrency

This track is a joint degree programme of the University of Amsterdam and VU Amsterdam. Courses are given at the two Faculties of Science. Graduates receive a diploma accredited by both universities.

VUvA logo

General information about VU Amsterdam
Please phone us at +31 (0)20 598 5000 (Monday – Friday, 10:00 to 12:00). You may also e-mail us at

Would you like to read the key points of the Master's programme? Order the brochure. Or find out more about the Master's programmes and visit our information days.

Overview Computer Science: Foundations of Computing & Concurrency




2 years



September intake
1 April for EU/EEA and non-EU/EEA students*
1 June for holders of a Dutch bachelor’s degree (with a Dutch or EU/EEA nationality).
* EU/EEA students (exept for Dutch students) with an international degree who do not need housing services through VU Amsterdam can still apply until 1 June.

February intake
1 November for non-EU/EEA students
1 December for EU/EEA students


1 September and 1 February




Computer Science, Mathematics and Business