Master of Science [M.S] [Computer Science - Foundations of Computing and Concurrency] From Vrije Universiteit Amsterdam

The Master’s in Computer Science covers this fascinating and hyper-relevant discipline from multiple angles. The technical side of Computer Science deals with computer operations, like system software, computer networks, and programming environments. The theoretical foundations cover the limits of what can be computed, computational efficiency, correctness, and the intricacies of concurrent execution. Software engineering studies the construction and maintenance of large and often mission-critical software systems that need to be maintained by large teams of people. Because of its prominent role in everyday life, non-functional aspects of information technology are gaining importance in Computer Science, most notably the energy efficiency of data centers and the security of computer systems.

Computing is a fundamental phenomenon in computer science. Concurrency naturally occurs in the specification of distributed systems; their analysis, verification, and implementation require a systematic approach, aided by formal methods. In the Foundations of Computing and Concurrency track, students will take courses ranging from distributed algorithms to protocol validation, and from term rewriting to logical verification, as well as some general courses in logic and mathematics.

This track is part of the joint Master’s in Computer Science, aimed at students with an interest in computing and concurrency, and the application of formal methods for system design.