Over ons onderzoek
Onderzoeksinstituten
Deze specialisatie is verbonden met het Institute for Computing and Information Sciences (iCIS), en het Institute for Mathematics, Astrophysics and Particle Physics (IMAPP). Onderzoekers van beide instituten werken samen op het gebied van mathematische logica en theoretische informatica. Het onderzoek op dit gebied is gericht op een beter begrip van de wiskundige grondslagen van de informatica.
Institute for Computing and Information Sciences (ICIS)
Het overkoepelende doel van iCIS is om de veiligheid en betrouwbaarheid van op computers gebaseerde systemen en algoritmes te verbeteren op basis van wiskundig onderbouwde theorieën. Met baanbrekend onderzoek is iCIS een voorloper op het gebied van computerwetenschap en cyberbeveiliging. iCIS kijkt verder dan zijn eigen vakgebied omdat het de knowhow integreert met andere disciplines zoals recht, geneeskunde en neurowetenschappen. Met deze aanpak is iCIS niet alleen relevant in onderzoek, maar pakt het ook de uitdagingen van IT in de moderne samenleving aan.
Institute for Mathematics, Astrophysics and Particle Physics (IMAPP)
IMAPP verricht fundamenteel onderzoek op het gebied van wiskunde, hoge-energiefysica en astrofysica met speciale aandacht voor interdisciplinaire onderwerpen. Het overkoepelende onderzoeksthema is de oorsprong en evolutie van het universum en de daaraan ten grondslag liggende mathematische structuren. Hoewel IMAPP verschillende onderzoeksvelden behandelt, werken wetenschappers nauw samen aan interdisciplinaire onderzoeksthema's.
Onderzoeksafdelingen
Tijdens je master kun je een onderzoeksproject doen bij één van onze afdelingen. Relevante afdelingen zijn:
De missie van deze afdeling is het uitvoeren van toonaangevend onderzoek naar het gebruik van modellen voor het ontwerp en de analyse van software, waarbij de kloof tussen theorie en toepassingen wordt overbrugd. De groep staat bekend om verschillende onderzoeksthema's die nauw verwant zijn aan het MFoCS-programma, zoals type theory, formal methods, (co)algebraïsche methoden, programmeertalen, termherschrijving en complexity, en model learning.
De Data Science afdeling binnen iCIS ontwikkelt theorieën en methoden voor schaalbare machine learning en information retrieval om big data te analyseren en uitdagende problemen aan te pakken in (onder andere) neurowetenschappen en bio-informatica. Ze zijn betrokken bij verschillende projecten met andere groepen, zowel binnen als buiten de Radboud Universiteit, zoals het Donders Institute for Brain, Cognition, and Behavior, en SNN Adaptive Intelligence.
De Digital Security afdeling werkt aan een breed scala aan onderwerpen op het gebied van computerbeveiliging, waaronder toegepaste cryptografie, beveiligingsprotocollen, smartcards en RFID, en de beveiliging en correctheid van software. We zijn ook geïnteresseerd in maatschappelijke aspecten van digitale beveiliging, zoals privacy en e-voting, en de interactie met disciplines buiten de informatica zoals cryptografie en recht.
De missie van de afdeling Wiskunde is om onderzoek in de wiskunde uit te voeren op het hoogste wetenschappelijke niveau. Het onderzoek op het gebied van computerwetenschappen richt zich op veel gemeenschappelijke thema’s die pure wiskunde deelt met theoretische informatica. Van de fundamenten in de logica, waarop proof assistants zijn gebaseerd, de theorie van algoritmen en hun complexiteit, tot de implementatie van algebraïsche objecten in computeralgebra en hun toepassing in cryptografie.