Faculteit der Natuurwetenschappen, Wiskunde & Informatica
Radboud University's iCIS is an internationally recognised institute, consistently ranked among the top Computer Science departments in the Netherlands. The institute focuses its research on three themes: software science, digital security and data science. Each of these themes spans the full breadth from basic fundamental research to application-oriented research. We want to contribute scientifically at the highest levels in our areas of expertise and want to educate our PhD graduates to become independent leading researchers.
iCIS staff members are also responsible for the Bachelor’s and Master’s programmes in Computer Science, the Master’s programme in Information Sciences, and about 30% of the Bachelor’s and Master’s programmes in Artificial Intelligence at Radboud University. Notwithstanding the fast-growing student numbers, these study programmes have consistently been evaluated as very good and excellent (see e.g. Nationale Studenten Enquete, 2018).
The
Software Science group of iCIS studies models for the design and analysis of software. Our group has expertise covering a broad range of topics concerning software construction and analysis, for example, foundations of software (type theory, proof assistants, concurrency, co-algebras, and term rewriting), model-based testing and model learning, combining formal verification and machine learning, and functional programming and domain-specific languages. We bridge the gap between theory and practice through collaboration with stakeholders from industry and other application areas.
iCIS comprises an enthusiastic and devoted team of excellent scientists that closely collaborate in a flat organisational structure. Our institute is housed in the modern Mercator building at Radboud University’s green leafy campus. iCIS employees have a high level of freedom to determine the way they structure the work they do at Radboud University. We work on the basis of trust and professional integrity. We focus on the individual, which means that we take each employee's phase in life and career into consideration. Radboud University offers customised facilities to better align work and private life.
The science faculty has made a strong effort in the past few years to increase the diversity of its staff. Furthermore, iCIS has been particularly active and successful in attracting female staff. This has also led to iCIS receiving the 2017 Minerva award for gender and diversity from Informatics Europe.