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

basisschool de laarakker

dr. Harrie Oosterhuis received a Radboud Science Award for his research Zoekende computers (Searching computers)

In 2023, dr. Harrie Oosterhuis received a Radboud Science Award for his research Zoekende computers (Searching computers), where he developed inquiry-based activities for primary schools in cooperation with the Science Education Hub.

Prof. Lejla Batina

The "Challenges in Cyber Security" project has received a prestigious NWO Gravity award.

The "Challenges in Cyber Security" project has received a prestigious NWO Gravity award. This project brings together the world's scientific top from the hard sciences in the cyber security field among which prof.dr. Lejla Batina of iCIS.

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.

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