Mercator 1
Mercator 1

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

Computing Science Day

Computing Science Day: From core to society!

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.

Joan Daemen

Prestigious Frontiers of Knowledge Award for Joan Daemen

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.

Subsidie en prijzen / award

Robbert Krebbers wins Dutch Prize for ICT Research 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.

News

Vici grants for research into obesity, gender-related violence, and digitisation

Research news item

Prestigious Frontiers of Knowledge Award for Joan Daemen

Research news item

Robbert Krebbers wins Dutch Prize for ICT Research 2026

Research news item

Radboud Young Academy Cross-Faculty Catapult Grants

News item
Discover more news

Agenda

Polynomial Multiplication for Lattices in Software

Tuesday 28 April 2026, 4:30 pm PhD defence

Where Law meets Artificial Intelligence: Discrimination and Unfair Differentiation in Insurance

Monday 11 May 2026, 2:30 pm PhD defence
View all events

Visiting address

Institute for Computing and Information Sciences is located in Mercator I in Nijmegen.

Toernooiveld 212 
6525 EC Nijmegen

Contact

Get in touch with the research institute by contacting the iCIS office.

+31 24 365 26 43