Institute for Computing and Information Sciences | Radboud University (original) (raw)

The Institute for Computing and Information Sciences (iCIS) aims to improve the fundamentals of software development via formal, mathematically founded theories, methods, and tools that support the specification, design, analysis, and evaluation of computer-based systems.

• Research
• Digital Security
• Software Science
• Data Science

Highlights

Computing Science Day: From core to society!

11 March 2026 News item

Computing Science is cool and diverse - this was the theme of the first Computing Science Day, organised for high school students. The event is returning in October 2026.

Prestigious Frontiers of Knowledge Award for Joan Daemen

01 February 2026 Research news item

Joan Daemen, Professor of Symmetric Cryptography at Radboud University, has received the prestigious BBVA Foundation Frontiers of Knowledge Award in Information and Communication Technologies together with Vincent Rijmen.