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

Robbert Krebbers has received the 2026 Most Influential ICFP Paper Award

10 September 2026 News item

Robbert Krebbers has received the 2026 ACM SIGPLAN Most Influential ICFP Paper Award for his International Conference on Functional Programming (ICFP) 2016 paper Higher-Order Ghost State.

Gunes Acar & Frederik Zuiderveen Borgesius

Two further prizes for paper on hidden tracking by Meta and Yandex

20 August 2026 Research news item

Two prizes have been awarded to Frederik Zuiderveen Borgesius and Gunes Acar, for their research on how Meta and Yandex can circumvent the privacy safeguards between web and app environments on Android devices.

Mart Lubbers conducted research for the Navy: ‘I would have liked to have sailed on a frigate for once’

20 April 2026 News item

Assistant professor of Software Science Mart Lubbers wrote a dissertation with funding from the Defense Support Program. During his research, he gave a programming course at the Royal Netherlands Naval College in Den Helder.