There are currently no new events.


The Institute for Computing and Information Sciences (iCIS) was established 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.

Research aims include improving the quality of software, with an emphasis on enhancing reliability, security, architectures and system alignment. The quality of the research remains very high, resulting in many Netherlands Organisation for Scientific Research (NWO) grants.


Research within iCIS is organized within three themes:

Software Science (SwS)
We have expertise covering a broad range of topics concerning software construction and analysis.

Digital Security (DiS)
Researchers develop theories and formal methods, which they use to analyze and improve the security of the digital world.

Data Science (DaS)
We develop theory and methods for scalable machine learning and information retrieval to analyze big data and address challenging problems in science and society.