About our research
Research institutes
This specialisation is connected to the research that is performed at the Institute for Computing and Information Sciences (iCIS), as well as the Institute for Mathematics, Astrophysics and Particle Physics (IMAPP). Researchers from both institutes work together in mathematical logic and theoretical computer science. The research in this field is aimed at gaining a better understanding of the mathematical foundations of computer science.
Institute for Computing and Information Sciences (ICIS)
The overall goal of ICIS is to improve the security and reliability of computer- based systems and algorithms based on mathematically sound theories. Through its cutting-edge research, ICIS is a forerunner in terms of research and contributes to society, especially in the field of cyber security. ICIS looks beyond its own field as it integrates the know-how with other disciplines such as law, medicine, and neuroscience. Through this approach, ICIS is relevant not only in research, but also tackles the challenges of IT in modern-day society.
Institute for Mathematics, Astrophysics and Particle Physics (IMAPP)
IMAPP carries out fundamental research in mathematics, high-energy physics and astrophysics with special attention for interdisciplinary topics. The overarching research theme is the origin and evolution of the universe and its underlying mathematical structures. Even though IMAPP covers different research fields, scientists are working closely together on interdisciplinary research topics.
Research departments
During your Master's you can do a research project at one of our research departments. Relevant groups and departments are:
The mission of this department is to conduct world-leading research on the use of models for design and analysis of software, bridging the gap between theory and applications. The group is well-known for various research topics that are close to the MFoCS programme, such as type theory, formal methods, (co)algebraic methods, programming languages, term rewriting and complexity, and model learning.
The Data Science department within ICIS develops theory and methods for scalable machine learning and information retrieval to analyse big data and address challenging problems in (among others) neuroscience and bioinformatics. They are involved in various projects with other groups, both within and outside the Radboud University, such as the Donders Institute for Brain, Cognition, and Behavior, and SNN Adaptive Intelligence.
The department of Digital Security works on a broad range of topics in computer security, including applied cryptography, security protocols, smartcards and RFID, and the security and correctness of software. We are also interested in societal aspects of digital security, such as privacy and e-voting, and interaction with disciplines outside computer science such as cryptography and law.
The mission of the Mathematics department is to carry out research in mathematics at the highest scientific level. Research on computer science focuses on many common themes that pure mathematics shares with theoretical computer science. From the foundations in logic, on which proof assistants are built, the theory of algorithms and their complexity, right to the implementation of algebraic objects in computer algebra and their application to cryptography.