Software technology plays a vital role in our lives and society. Our mobile phones, televisions, high-tech medical equipment, communication networks, banking systems, transportation networks and industry equipment all rely on secure, reliable and robust software, in which privacy regulations are ensured. In the face of this growing quantity and complexity there is a strong and growing need to understand complex software systems, to improve their quality and to improve the efficiency of developing new software.  

Software is also a key enabling technology for the competitiveness of the Netherlands and Europe. It is important that the Netherlands preserves its standing as a software exporting country. To achieve this innovative research is essential.

CWI focuses in its research on various aspects of software engineering, software analysis and the improvement of software. Research is applied in many practical areas such as forensic science, financial auditing, software maintenance and transport logistics.

CWI collaborates with many public and private partners such as the Dutch Forensic Institute (NFI), PricewaterhouseCoopers (PwC), Belastingdienst, ComputationalAuditing.com, CWI spin-off company SIG (Software Improvement Group), IBM, Philips and Fredhopper.

The following research groups at CWI investigate software technology from various perspectives:

• Formal Methods
• Software Analysis and Transformation
• Cryptology
• Distributed and Interactive Systems
• Intelligent Systems

Please contact Software theme coordinator Frank de Boer for more information.