Research context and research institute
The master programmes of computing and information sciences are offered in close collaboration with the research institute for Computing and Information Sciences (iCIS) of the Radboud University Nijmegen. The mission of this institute is to improve software development fundamentals by developing formal, mathematically founded theories, methods and tools to support the specification, design, analysis and evaluation of computer-based systems. Research aims include improving the quality of software, with an emphasis on reliability, security, architecture and system alignment.
Research at ICIS is organized in three different research sections: Software Science (SwS), Digital Security (DiS) and Data Science (DaS). The courses of our curricula are taught by staff members of these sections.
The research topic of your master thesis is likely to be linked to or embedded in the research of one of these sections, and you can find a supervisor for master thesis in these different groups. More information about the research of these sections is given below.
For Information Sciences, there are also interesting links with business modelling and business administration. For the master programme, our institute has established a close collaboration with the Faculty of Management to create further possiblities for students interested in the application of information technology in these areas. For your master's thesis in Information Sciences, you may also find a supervisor from this Faculty (in addition to a supervisor from ICIS).
Research carried out by the SwS section focuses on the use of formal models in the development of computer systems in relationship to application areas on the one hand, and on the development of the required basic techniques on the other. Theories, methods and tools are empirically validated through the development of challenging practical applications of various nature.
The topics driving the research carried out in the section are models and modeling. Subthemes are: computer-aided verification and analysis, and model-based testing in relationship to embedded systems; model-based application generation using techniques from functional and generic programming; decision support systems in relationship to applications from health care and industry; model development in collaboration with stakeholders.For more information on research carried out at the Software Science section, click here.
Digital security is an increasingly important issue in our society. The Digital Security group 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.
For more information on research carried out at the Digital Security section, click here.
The main challenge of the Data Science section is to make computer systems more 'intelligent'. We do this by both pursuing the connectionist and the symbolic approach. The connectionist approach follows the statistical view on knowledge; our specific expertise lies in Bayesian methods and machine learning with main applications in bioinformatics and neuroscience. The symbolic approach follows the (formal) logical view on knowledge; our specific expertise lies in type theory and proof assistants with applications in software verification and formalization of mathematics. A central notion from logic towards intelligence is 'reflection': the view on a system (including ourselves) from higher levels. Within this view we perform research on mind-brain-mindfulness in order to contribute to the understanding of what intelligence is.For more information on research carried out at the Data Science section, click here.