News
Computer Security group news
CWI works on Next Generation Internet
The Next Generation Internet POINTER fund has awarded CWI a grant to work on architectural renovation for the next generation Internet to replace BSD-style socket technology. The results will make a new …
CWI introduces new design methodology for reliable and trustworthy software
To make the development process of software quick, efficient, reliable and automated, researcher Vlad-Nicolae Şerbănescu (CWI and LIACS) studied how to unify modelling and programming languages for reliable and trustworthy software.
Better parallel programming with help of ABS language
Current programming languages cannot use the full potential power of manycore chips. Keyvan Azadbakht studied the formal programming language ABS and extended the programming model and analysis techniques. He defended his PhD …
Grant for CWI to improve Next Generation Internet
NLnet Foundation awarded CWI with a grant to develop a replacement for a decades-old application programming technique for communication on the internet. This might result in an alternative to deep packet inspection …
Symposium celebrating life and achievements of Farhad Arbab
On Friday 25 May 2018 CWI organizes a farewell symposium on the occasion of the retirement of Farhad Arbab, ‘It's All About Coordination’. Farhad Arbab has been a researcher at CWI for …
CWI unveils real nature of Eilenberg-type correspondences
After almost forty years, a well-known theorem in algebra about 'Eilenberg-type correspondences' is finally fully understood. Julian Salamanca, PhD student at CWI in Amsterdam, made a unified theory that explained their real …
CWI develops software that can manage itself
The increase of cloud technology has put a strain on developers and IT administrators to manually manage cloud software services and hardware infrastructure. Nikolaos Bezirgiannis (CWI) explored letting cloud software ‘manage itself’. …
Commit2Data grant for better, faster and real-time adaptable big data analysis
To improve parallel processing of big data, NWO granted the project ‘Evolutionary changes in Distributed Analysis’ (ECiDA) within their Commit2Data programme. The research partners in this project – CWI being one of …
