Deze opleiding
locatieLeiden |
diplomamsc M Computer Science |
typeregulier |
taalvolledig Engels |
opleidingsduur2 jaar voltijd |
accreditatiesNVAO |
croho-code60300 |
numerus fixusnee |
honoursnee |
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.
Onderwijs
taal van onderwijs | 100% en |
---|---|
avondonderwijs | n.v.t. |
afstandsonderwijs | n.v.t. |
onderwijsvormen
computer opdrachten, groepsopdracht, groepsdiscussie, individuele opdracht, hoorcollege, literatuurstudie, mondelinge presentatie, poster presentatie, project, onderzoek, onderzoeksproject, zelfstudie, werkcollegedoelstelling
The MSc degree guarantees thorough research training founded on a profound theoretical basis. The programme provides students with a thorough computer science background that will allow them to pursue careers in research or industrial environments. Students in Leiden work in a multinational environment and are being prepared to work in international settings.
Keuzehulp

Studievergelijker
Advanced Computing and Systems
€ 350 gemiddelde kamerhuur |
? eerstejaars |
NAN% vrouw |
? uur contacttijd/week |
100% Engelstalig |
Computer Science and Education
€ 350 gemiddelde kamerhuur |
22 eerstejaars |
36% vrouw |
? uur contacttijd/week |
100% Nederlandstalig |
Data Science
€ gemiddelde kamerhuur |
? eerstejaars |
NAN% vrouw |
? uur contacttijd/week |
Bioinformatics
star Keuzegids topopleiding 2018 1e 78 |
€ 350 gemiddelde kamerhuur |
22 eerstejaars |
36% vrouw |
? uur contacttijd/week |
100% Engelstalig |
Computer Science and Science Communication and Society
star Keuzegids topopleiding 2018 1e 78 |
€ 350 gemiddelde kamerhuur |
22 eerstejaars |
36% vrouw |
? uur contacttijd/week |
100% Engelstalig |
Computer Science
star Keuzegids topopleiding 2018 1e 78 |
€ 350 gemiddelde kamerhuur |
22 eerstejaars |
36% vrouw |
? uur contacttijd/week |
100% Engelstalig |
Foundations of Computing
€ 350 gemiddelde kamerhuur |
? eerstejaars |
NAN% vrouw |
? uur contacttijd/week |
100% Engelstalig |
Artificial Intelligence
€ 350 gemiddelde kamerhuur |
? eerstejaars |
NAN% vrouw |
? uur contacttijd/week |
100% Engelstalig |
EIT Master ICT innovation
€ 312 gemiddelde kamerhuur |
72 eerstejaars |
36% vrouw |
? uur contacttijd/week |
100% Engelstalig |
Data Science & Technology
€ 312 gemiddelde kamerhuur |
72 eerstejaars |
36% vrouw |
? uur contacttijd/week |
100% Engelstalig |
Software Technology
€ 312 gemiddelde kamerhuur |
72 eerstejaars |
36% vrouw |
? uur contacttijd/week |
100% Engelstalig |
Computer Science
€ 312 gemiddelde kamerhuur |
72 eerstejaars |
36% vrouw |
? uur contacttijd/week |
100% Engelstalig |
Computer Science
€ 250 gemiddelde kamerhuur |
? eerstejaars |
NAN% vrouw |
? uur contacttijd/week |
100% Engelstalig |
Na de studie

aansluitende masteropleidingen
instelling | opleiding | instroomeisen |
---|---|---|
TU Eindhoven | Leraar VHO Informatica educational | |
TU Delft | Leraar VHO Informatica educational |