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

Hans Zantema

In Memoriam Hans Zantema

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.

Dutch Prize for ICT Research

Prof. dr. Hannes Mühleisen wins the Dutch Prize for ICT research 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 uu77 Nijmegen.

Subsidie en prijzen / award

KHMW Young Talent Prizes for ten Radboud Students

Educational news item

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

News

This AI-model is more certain about uncertainty

Research news item

New method for assessing power grid reliability

Research news item

In Memoriam Hans Zantema

Open Competitie ENW-XL supports research into higgsboson, topology and other fundamental topics

Research news item
Discover more news

Agenda

How practical is the cryptography of the future?

Monday 12 May 2025, 10:30 am PhD defence

Decoding Space Ripples: Faster Ways to Analyze Gravitational Waves

Tuesday 20 May 2025, 2:30 pm PhD defence

Higher-Order Termination with Logical Constraints

Thursday 26 June 2025, 10:30 am PhD defence

Structured Randomness

Thursday 3 July 2025, 10:30 am 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