Research sections

Software Science (SwS)

Section on Software Science 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 hand. Our theories, methods and tools are empirically validated through the development of challenging applications from the industrial, health care, governmental, and financial sectors, thus aiming at bridging the gap between theory and practice. The topics driving the research carried out in the section are models and modeling.

Models provide abstractions of systems, artificial or natural, that allow reasoning about properties of these systems, ignoring extraneous details while focusing on relevant ones. Explicit models have always played a key role in science and engineering. There is now a clear trend in computer and information science towards the systematic use of models as the primary artifacts throughout the engineering life cycle of computer-based systems. Requirements, behavior, functionality, construction and testing strategies of computer-based systems are all described in terms of models. Models are not only used to reason about a system, but also used to allow all stakeholders to participate in the development process and to communicate with each other, to generate implementations, and to facilitate reuse.

Subthemes on which the section's research focuses 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.

(longer description)

Digital Security (DiS)

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.

Furthermore, the Digital Security group hosts the interdepartmental Information Foraging Lab.

(longer description)

Data Science (DaS)

The focus of the research of the Data Science section lies on machine learning and artificial intelligence in general, with applications to (among others) neuroscience and bioinformatics. The section is involved in various projects with other groups, both within and outside the Radboud University. Research funding mainly comes from NWO, STW, and the EU.

The Data Science section has close ties to the Donders Institute for Brain, Cognition, and Behavior, both through research and education, and SNN Adaptive Intelligence.

(longer description)