Masters in Computer Sciencein Foundations of Computing and Concurrency

2 Years On Campus Masters Program

Vrije Universiteit Amsterdam

Program Overview

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.

Program Key Stats

€14630 (Annual cost)



Eligibility Criteria


92
550
6.5
92

Additional Information & Requirements

Career Options

  • Computer and Information Systems Managers
  • Computer Systems Analysts
  • Computer Occupations
  • Computer Programmers
  • Database Administrators

Book Free Session with Our Admission Experts

Admission Experts