Program Image Computer Science: Foundations of Computing

Computer Science: Foundations of Computing


Leiden University mapmarker icon Leiden Research university
Institution Logo Leiden University

By focusing on core concepts that transcend the boundaries of various Computer Science fields, the Foundations of Computation specialization prepares you for an inter-disciplinary future. In particular, you will learn to model complex software systems and apply automated proof techniques to verify their correctness, thereby increasing trust in digital systems. Using the power of symbolic computation, the specialization teaches you how to tackle hard computational problems, as well as to realize reasoning for artificial intelligence. It also equips you with the detailed knowledge of concurrency required to analyze parallel systems, but also with knowledge about non-deterministic and probabilistic computational models. Finally, you will learn to harness the power of quantum computers, for solving problems more efficiently than with classical computers.




Master of Science


2 years

ECTS credits

Information not available



Numerus Fixus

Tuition fee 2024/2025

€ 2,530

€ 20,900


Application requirements

Information not available

Language requirements

TOEFL internet based
IELTS overall band

Check when you can start and what you have to pay!

Tuition fees  
€ 2,530
€ 20,900
Information not available
Start date App. deadline EU/EEA App. deadline Non-EU/EEA
1 Sep '24 15 May '24 1 Apr '24


Leiden University

Main address
Rapenburg 70
2311 EZ Leiden
071 - 5271111

Ready to apply?

Visit course website chevron icon
Leiden University institution image
Leiden University institution image