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, email: f.van.raamsdonk@vu.nl


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 study@vu.nl.

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

LANGUAGE OF INSTRUCTION

English

DURATION

2 years

TUITION FEE

APPLICATION DEADLINE

15 July for Dutch students. 1 April for EU/EEA and non-EU/EEA students.* * EU/EEA students with an international degree who do not need housing services through Vrije Universiteit Amsterdam University Amsterdam can still apply until 1 June.

START DATE

1 September and 1 February

STUDY TYPE

Full-time

FIELD OF INTEREST

Computer Science, Mathematics and Business