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

In Memoriam Hans Zantema

31 January 2025 Other news

It is with great sadness that we share the news that our colleague Hans Zantema passed away on January 28 2025 after a short illness.

Prof. dr. Hannes Mühleisen wins the Dutch Prize for ICT research 2025

15 January 2025 News item

The Dutch Prize for ICT Research 2025 has been awarded to Prof. dr. Hannes Mühleisen, senior researcher at the Centrum Wiskunde & Informatica (CWI) in Amsterdam and Professor of Data Engineering at Radboud University Nijmegen.

KHMW Young Talent Prizes for ten Radboud Students

26 November 2024 Educational news item

Ten students from Radboud University received a Young Talent Prize from the Royal Holland Society of Sciences and Humanities (KHMW) on 25 November 2024.