Want to receive regular updates on study abroad programs? Sign up to our newsletter here!
Study a Master in Computing & Concurrency in Amsterdam
This Masters in Computer Science equips students with 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.
- A Bachelor's degree in Computer science or closely related relevant field from an accredited research university including at least three full years of academic study amounting a minimum of 180 ECTS or equivalent.
- Motivation, background and personality (motivation letter, CV and personal reference)
- Proof of sufficient proficiency in English.
Welcome to Vrije Universiteit Amsterdam
Vrije Universiteit Amsterdam is an internationally renowned research university founded in 1880 . The university offers over 120 English taught programs at Bachelor’s, Master’s and doctoral level. Students and staff of 84 nationalities create a dynamic international academic community. The...