News
Software Analysis and Transformation group news
Ten years of software engineering in the Netherlands
Just over a decade ago, VERSEN was founded: the Association for Software Engineering in the Netherlands. On 1 May, the annual SEN symposium for Dutch researchers in software engineering will mark this …
NWO Gravitation: 21.5 million euros for 'Challenges in Cyber Security'
'Challenges in Cyber Security' is one of seven research projects that received an NWO Gravitation grant this year. The project has the impressive sum of 21.5 million euros attached. Among the scientists …
Solving the bank: lightweight specification and verification techniques for enterprise software
CWI PhD student Jouke stoel simplified complex banking software with innovative techniques.
Most Influential Paper Award of ACM SIGPLAN SLE conference for Tijs van der Storm and others
Tijs van der Storm and a team of 20+ authors received the Most Influential Paper Award of the 2023 ACM SIGPLAN International Conference on Software Language Engineering (SLE) for their article on …
The LEGO Turing machine
To honour the Alan Turing Year 2012, Turings centenary, Centrum Wiskunde & Informatica organized the exhibition 'Turings Erfenis' (Turing's Legacy). Especially for this exhibition two CWI-researchers made a Turing machine out of …
Break the Code? Breaking Changes and Their Impact on Software Evolution
Lina Ochoa Venegas defended her PhD thesis cum laude at the department of Mathematics and Computer Science of Eindhoven University of Technology on 29 March.
Jurgen Vinju on NOS TV News
On Wednesday 1 March 2023, our colleague Jurgen Vinju was being interviewed for the Dutch national TV news (NOS Journaal) on the planned replacement of the Cool:Gen software of the Dutch Tax …
Book ‘Tales of Electrologica’ published
The book ‘Tales of Electrologica. Computers, software and people’ was published by Springer. It describes the history of the iconic X8 computer, built in the Netherlands in the early 1960s by the …
