Students can choose courses from a variety of topics, such as: 

• Formal methods and logic; how to reason about properties of a system and automate this reasoning 

• Algorithms and complexity; techniques for solving computational tasks and formally analysing the use of computational resources such as running time, memory, etc 

• Foundations of security; theoretical aspects of making systems robust against adversarial behaviour 

Graduates of this track are trained in solving complex computational problems and formal reasoning skills. This will prepare them for more analytical industry jobs, as well as a research career. 

Why choose Foundations of Computing and Corcurrency?

1. Focus on formal methods, complexity, algorithmic thinking and distributed computing.
2. Learn to design and verify safe and reliable systems
3. Collaborate with internationally recognised researchers in theoretical computer science
4. Ideal preparation for a career in research, academia or highly specialised technical roles

A joint degree from two leading institutions

This track is part of the joint Master’s in Computer Science offered by the University of Amsterdam and Vrije Universiteit Amsterdam. Courses are taught at both institutions, and graduates receive a joint diploma from both universities. 

Is this the right track for you?

Choose this track if you enjoy abstract thinking, are fascinated by the foundations of algorithms and computation, and want to work on the theoretical challenges behind real-world systems.

Visit the Study Programme and Career Prospects pages to learn more.