Mathematical Foundations of Computing Science

De specialisatie Mathematical Foundations of Computer Science (MFoCS) draait om het begrijpen van de fundamentele wiskundige concepten van berekening en informatie, om de mogelijkheden van informatica te verkennen.
Deze masterspecialisatie omvat een breed spectrum aan onderwerpen op het snijvlak van wiskunde en theoretische informatica. Het programma reikt van het wiskundig modelleren van informaticafundamenten en het verkennen van mogelijkheden en beperkingen binnen het vakgebied, tot het computationeel oplossen van wiskundige problemen met discrete componenten. MFoCS brengt studenten in direct contact met de onderzoeksfrontlinie. Het curriculum bestaat uit theoretische informaticavakken en onderzoeksprojecten, gestructureerd binnen het MFoCS Onderzoeksseminar, een onderzoeksstage en een masterscriptieproject.