Computer Science: Foundations of Computing
Prepare for an interdisciplinary future in computing.
Best for:Best for students interested in advanced computational theories and interdisciplinary applications.
Overview
The Foundations of Computation specialization at Leiden University focuses on essential concepts that bridge various fields of Computer Science. Students will learn to model complex software systems and utilize automated proof techniques to ensure their correctness, enhancing trust in digital systems. The program covers symbolic computation, concurrency, and advanced computational models, including non-deterministic and probabilistic approaches. Additionally, students will explore quantum computing to solve problems more efficiently than traditional methods.
What you'll do
- Engage in advanced studies of computational theories and practices.
- Model and analyze complex software systems.
- Apply automated proof techniques for system verification.
- Explore the principles of quantum computing.
Requirements
Degree required: Bachelor's degree in Computer Science or a related field
Degree offered: Master of Science
Language: English; TOEFL 90 or IELTS 6.5
Instruction: English
- Strong analytical and problem-solving abilities
- Familiarity with software modeling techniques
- Understanding of computational theories
- Open to all nationalities
- Bachelor's degree required
Funding & terms
Programme and admissions
Admissions not verified
A catalogue listing does not mean applications are open or funding is guaranteed. Check the source for your intake.
- Intake
- Not confirmed by the source
- Duration
- Not confirmed by the source
- Teaching language
- Not confirmed by the source
- Taught / research mode
- Not confirmed by the source
- Study mode
- Not confirmed by the source
- Campus
- Not confirmed by the source
- Prerequisites
- Not confirmed by the source
- Application instructions
- Not confirmed by the source
- Tuition
- Not confirmed by the source
- Funding
- Not confirmed by the source
How to apply
Deadline: 2026-10-15
Interested candidates should apply through the Leiden University application portal. Ensure all required documents are submitted by the deadline.
- CV
- Cover letter
- Bachelor's degree transcripts
- Language proficiency proof
Create a free profile to unlock your personal match score, the full requirements, funding details and how to apply — in English or Persian.