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

Mart Lubbers conducted research for the Navy: ‘I would have liked to have sailed on a frigate for once’

20 April 2026 News item

Assistant professor of Software Science Mart Lubbers wrote a dissertation with funding from the Defense Support Program. During his research, he gave a programming course at the Royal Netherlands Naval College in Den Helder.

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.