Foundations of Computing and Concurrency (Computer Science)
The Foundations of Computing and Concurrency track is rooted in the mathematical and logical underpinnings of computer science. It focuses on fundamental topics such as algorithms, logic, formal verification, concurrency, and cryptography. Is a problem decidable? What is the complexity of an algorithm, and is it correct? Is the result of the computation unique? Is our information safe? This track equips you with the skills to rigorously reason about algorithms, logic, type theory, proof checking, cryptography, models of computation. It prepares you to deal with the formal methods and (automated) tools to study fundamental properties of computing related to correctness, complexity, and security.
Why choose Foundations of Computing and Corcurrency?
- Focus on formal methods, complexity, algorithmic thinking and distributed computing.
- Learn to design and verify safe and reliable systems
- Collaborate with internationally recognised researchers in theoretical computer science
- 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.
- Degree programme
- MSc Computer Science
- Type
- Regular study programme
- Mode
- Full-time
- Credits
- 120 ECTS, 24 months
- Language of instruction
- English
- Starts in
- September
- RIO code
- 65014
- Location
- UvA Science Park and VU Campus