Institute for Computing and Information Sciences

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.

Also viewed a lot

Highlights

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.

Robbert Krebbers wins Dutch Prize for ICT Research 2026

20 January 2026 Research news item

The Dutch Prize for ICT Research 2026 has been awarded to Robbert Krebbers, associate professor of Software Science at Radboud University.

NWO Vidi grants for research into inequality, ammoniac and the reading life of teens

23 October 2025 Research news item

The Netherlands Organisation for Scientific Research (NWO) has awarded thirteen Nijmegen researchers Vidi funding of up to 850,000 euros. This will allow them to develop their own line of research and set up a research group over the next five years.