Recent News
- On October 19, we are hosting an OWASP NL meet-up
- Jaap-Henk Hoepman and Frederik Borgesius will give a presentation in the Dutch Parliament
- At the Hack-The-Hague event the two teams from our student CTF group won 1st and 2nd place!
- Privacy choices: smart meters will have consequences for decades
- Two upcoming promotions at Digital Security
- Alonzo Church Award for Robbert Krebbers
- Jurriaan Rot received a Vidi grant!
iCIS
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
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.