Studieprogramma van Mathematical Foundations of Computer Science

De nadruk van het programma Mathematical Foundations of Computer Science (MFoCS) ligt op de grondslagen van de moderne theoretische informatica, en biedt een brede kijk op theoretische informatica en de toepassingen daarvan. De verplichte cursussen van het MFoCS-programma zorgen ervoor dat studenten bekend zijn typetheorie and categorietheorie. De specialisatiecursussen bieden studenten verdere verdieping in onderwerpen zoals programma-semantiek en analyse, algoritmische verificatie en logisch redeneren, formalisatie van bewijzen, berekenbaarheid en complexiteit, en algoritmes voor algebraische berekeningen. Deze specialisatie heeft een studielast van 120 EC (twee jaar).

Studieprogramma

  • Studieprogramma Mathematical Foundations of Computer Science

    Dit studieprogramma is bedoeld om brede kennis en begrip te bieden over een breed scala aan materiaal in wiskunde en theoretische informatica, en brengt studenten in contact met de onderzoeksfronten van het vakgebied. Het curriculum bestaat uit zowel lezingen (met oefenlessen) als onderzoeksprojecten, die worden georganiseerd in de MFoCS onderzoeksseminar en een masterscriptieproject. Het is mogelijk om een deel van het masterprogramma in het buitenland door te brengen.

    Bekijk jaarprogramma

Studeren in het buitenland

Tijdens je master krijg je de kans om in het buitenland je stage en/of scriptie te doen. Hierdoor leer je dingen te bekijken vanuit het perspectief van een andere cultuur en ontmoet je nieuwe mensen; het is een ervaring die je leven verrijkt. Bovendien staat het goed op je cv! Kijk voor meer informatie over bijeenkomsten, beurzen, stages en andere praktische informatie op de Radboud International webpagina.

Extra uitdaging

Op zoek naar een extra uitdaging tijdens je studie? Vind je het interessant om na te denken over actuele, maatschappelijke thema's vanuit verschillende academische perspectieven? Ontdek wat de Radboud Honours Academy te bieden heeft om het beste uit jezelf te halen tijdens je studententijd.

Mastermath 

De Radboud Universiteit neemt deel aan Mastermath. Dit is een landelijk programma waarbij de wiskundefaculteiten van Nederlandse universiteiten elk semester gezamenlijke wiskundecursussen organiseren. Deze gezamenlijke cursussen bieden studenten onderwijs van de hoogste kwaliteit en stellen hen in staat om wiskundestudenten en onderzoekers van universiteiten door het hele land te ontmoeten en mee samen te werken. Als je na je masteropleiding een promotietraject wilt volgen, vergroot Mastermath je beschikbare mogelijkheden.

Studeren aan de Radboud Universiteit betekent dus dat je naast nauw contact met onze gerenommeerde professoren ook kunt profiteren van alle hoogstaande wiskundige kennis die in Nederland aanwezig is.