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.

Highlights

AI

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.

Hydras sequence

Implicit Complexity through Higher Order Rewriting (ICHOR)

The goal of ICHOR is to study computational complexity of and using higher-order term rewriting systems. Our particular focus is to develop methods that involve algebra interpretations.

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