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

Roel Vertegaal appointed Professor of Human-Computer Interaction

20 June 2024 News item

Roel Vertegaal has been appointed Professor of Human-Computer Interaction at Radboud University’s Faculty of Science effective May 1, 2024.

Results of ERC Advanced grant project COHUBICOL of Prof. Mireille Hildebrandt published, including the creation of a new journal: Cross-Disciplinary Research in Computational Law

10 June 2024 News item

In 2018, Prof. Mireille Hildebrandt, affiliated with Vrije Universiteit Brussel and the iCIS institute in the Faculty of ScieMirnce of the Radboud University, was awarded an ERC Advanced grant for her research project proposal COHUBICOL.

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

25 March 2024 News item

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.