- Summer School on real-world crypto and privacy 20235 June 2023 until 9 June 2023
- 5th Interdisciplinary Summerschool on Privacy (ISP 2023)25 June 2023 until 30 June 2023
- iCIS/DiS researchers won 2022 CNIL-Inria Award for Privacy Protection
- Arjen P. de Vries gave a radio interview about AI and ChatGPT
- Call for Abstracts CRCL 2023 Conference: Computational ‘Law’ on Edge
- On March 2, Frederik Zuiderveen Borgesius joined EU parliament member Sophie in 't Veld in a debate about the Pegasus spyware
- On 15 February, Frederik Zuiderveen Borgesius addresses the OHCHR
- ASCON wins NIST lightweight crypto competition
- ISP 2023 registration open!
ISP 2023 registration open
The 5th Interdisciplinary Summerschool on Privacy (ISP 2023) will be held on June 25-30, 2023. Theme: "Assessing and mitigating privacy risks in the Internet of Things". Early registration is now open.
The interdisciplinary summerschool on privacy provides an intensive one week academic post-graduate programme teaching privacy from a technical, legal and social perspective. The goal of the summerschool is to provide students with a solid background in the theory of privacy construction, modelling and protection from these three different perspectives. It also aims to help them to establish a first international network with peers and senior academics across these disparate disciplines.
To register, see here.
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.