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.


Waarom jij voorlopig de boete krijgt in een zelfrijdende auto

NWO-M subsidy for research on control mechanism of autonomous systems

Sebastian Junges, a researcher at the Institute for Computing Science, has been awarded an NWO-M subsidy of 360,000 euros for his research project FuRoRe.


AiNed Fellowship Grant for research into cell films

Inge Wortel, Assistant Professor of Data Science, has been awarded an AiNed Fellowship Grant for a research project entitled ‘AI and Simulations for Decoding the Spatiotemporal Dynamics of Immune Responses’ at Radboud University in Nijmegen.

Frederik Zuiderveen Borgesius (l) en Jaap-Henk Hoepman

Radboud researchers express concern about proposed EU regulation

Frederik Zuiderveen Borgesius and Jaap-Henk Hoepman will express their concerns to the Committee on Digital Affairs of the Dutch Parliament about the proposed EU regulation to combat child abuse and the distribution of child pornography.

Visiting address

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

Toernooiveld 212 
6525 EC Nijmegen


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

+31 24 365 26 43