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
Femke van Raamsdonk: email@example.com
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.
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 firstname.lastname@example.org.
LANGUAGE OF INSTRUCTION
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.
1 September and 1 February
FIELD OF INTEREST
Computer Science, Mathematics and Business