Software Analysis and Transformation
SWAT studies software systems: their design, their construction, and their inevitable evolution. Our mission is to learn to understand software systems and to improve their quality. We focus on complexity as the primary quality attribute of software systems.
SWAT studies software systems: their design, construction and evolution. Our mission is to learn to understand software systems and to improve their quality. In particular, we study the causes of software complexity – a major cause of technology failure in society – and investigate how complex systems can be made simpler and more reliable. We analyze and visualize software systems, transforming them into better versions of themselves. We also generate new software with the goal of simplifying it through automation and abstraction. We keep our feet on the ground by working with corporate IT departments on streamlining their software systems and making them more reliable. Putting our ideas into practice is the best way to ensure they work.
News
All newsNWO Gravitation: 21.5 million euros for 'Challenges in Cyber Security'
Solving the bank: lightweight specification and verification techniques for enterprise software
Most Influential Paper Award of ACM SIGPLAN SLE conference for Tijs van der Storm and others
The LEGO Turing machine
Members
Associated members
Publications
All publicationsSoftware
Courses
-
Software Language Engineering(11 Nov 2024 - 2 Feb 2025)
-
Software Language Engineering(1 Sep 2023 - 1 Dec 2023)
Current projects with external funding
- Financing Sustainable Research Software (None)