News
Software Analysis and Transformation group news
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 …
Banking on Domain Knowledge for Faster Transactions
Tim Soethout of CWI's Software Analysis and Transformation group defended his thesis at Eindhoven University of Technology.
