The aim of the cluster is to foster and investigate research in the area of software analysis, construction, and deployment methods to produce, manage, and maintain autonomous systems.

Vision for the cluster

Today, software is predominant in every system. Software is also a means to make systems smart, and continuously improvable. Example of systems made smart by software are self-driving cars, self-flying airplanes, self-managing telecom networks, and smart factories. Autonomous systems are systems that are able to autonomously behave in unforeseen and only partially known environments. Our vision is to build self-adaptive software that is able to monitor itself and its context, to detect context changes, to decide how to react and act to execute such decisions.


Selected research questions:

How to deliver software systems that continuously evolve with changing user requirements? How to enable continuous learning from observations on their own behavior? What approaches and techniques (language, library, runtime, …) are most suitable for building autonomous software?

The aim of the cluster is to foster and investigate research in the area of software analysis, construction, and deployment methods to produce, manage, and maintain autonomous systems.


Societal impact and areas of application:

Software is the core infrastructure of large-scale systems in all domains, including finance, communications, industry, healthcare, research, and entertainment. As the market pace and speed of evolution is ever faster, there is a crucial need for software technology for bringing autonomous features in all these application areas.


Key challenges:

  • Charaterize the current shortcomings of software technology for autonomous software
  • Devise, prototype and evaluate new approaches and techniques (language, library, runtime, …)  for autonomous software
  • Assess effectiveness and applicability with relevant empirical experiments in the lab as well as in the field



Cluster coordinators

Martin Monperrus, KTH,

Philipp Leitner, Chalmers,



  • Jan 2020: WASP Software meeting at the WASP Winter Conference.
    • Martin Monperrus: News about the Software Technology Cluster
    • Per Runeson: News about the Software Engineering Cluster
    • Philipp Leitner: Self-introduction as new co-cluster leader
    • All: Student presentation
    • Rasmus Ros: A toolkit and domain-specific language for data-driven software optimization with bandit feedback and combinatorial constraints
    • Christoph Reichenbach: News on WARA Software
    • Alfred Åkesson: ComPOS – a development environment for composing internet-of-things services
    • Benoit Baudry: News about WASP project course on software researchMartin Monperrus: News about the Software Technology Cluster
  • Dec 2019: Stockholm Chaos and Reliability Engineering Day
  • Oct 2019: KTH/CASTOR Software Days
  • Jan 17 2019: Plenary meeting and poster session during WASP Winter Conference, Gothenburg
    • 24 participants
    • Program:
      • 13:40 Jan Bosch: Software engineering for AI
      • 13:50 Christoph Reichenbach: ‘WARA-SW Update’
      • 14:05 Long Zhang (PhD KTH) Chaos Engineering Tools for Live Analysis and Improvement of Exception-handling in the JVM
      • 14:20 Open Discussion
  • May 14 2019: Joint cluster meeting, WASP Days, Gothenburg
    • community updates
    • discussion about WARA
    • information sharing about proposals
  • Jan 10 2018: Plenary meeting and poster session during WASP Winter Conference, Lund
  • May 16 2018: Faculty meeting WASP Faculty day, Lidingö

Industrial partners:

SAAB, Ericsson, Zenuity, Arm, etc.

WARA Software with open-science data



Diarmuid Corcoran Main advisor: Magnus Boman
Affiliation: Ericsson / KTH – Industrial Phd student


He Ye Main advisor: Martin Monperrus
Affiliation: KTH
Email: Send Mail Webpage
Project title: Software program repair
Research topic: I am mainly focusing on the software program repair, including patch generation, patch correctness assessment, and deep learning based program repair.


John Törnblom Main advisor: Simin Nadjm-Tehrani
Affiliation: Linköping University
Email: Send Mail link Publications
John Tornblom
Project title: Verification of Safety-Critical and Learning-based Software
Research topic: Machine learning, Safety-critical software, Formal methods


Long Zhang Main advisor: Martin Monperrus
Affiliation: KTH
Email: Send Mail Webpage2 Publications
Research topic: Chaos engineering, self-healing software, anti-fragile


Piergiuseppe Mallozzi Main advisor: Patrizio Pelliccione
Affiliation: Chalmers | GU
Email: Send Mail Webpage
Project title: Engineering Trustworthy Self-Adaptive Software Systems
Research topic: Our research goes in the direction of building trustworthy self-adaptive software systems with particular emphasis on machine learning techniques to drive the system adaptations and the automotive domainas one of the main targets. In particular we are investigating ways of combining machine-learning with invariants assurance techniques for Autonomous Systems



Jonas Krook Main advisor: Martin Fabian
Affiliation: Chalmers
Email: Send Mail Webpage
Project title: Automatic Generation of Decision Logic for Autonomous Vehicles
Research topic: Formal synthesis of logical controllers. Using formal methods to prioritize requirements.


Alfred Åkesson Main advisor: Görel Hedin
Affiliation: LTH
Email: Send Mail Webpage Publications
Project title: Adaptive software architectures for autonomous system
Research topic: Research in the design and implementation of a domain specific language for configuration and coordination in a service based middleware for pervasive systems. Evaluated on systems in healthcare and autonomous systems.


Gustaf Waldemarson Main advisor: Michael Doggett
Affiliation: LiU
Project title: Efficient GPU Programming for Visual and Autonomous Software Systems
Research topic: Parallel/heterogeneous programming, Graphics, Ray Tracing


Maximilian Algehed Main advisor: Mary Sheeran
Affiliation: Chalmers
Email: Send Mail Webpage
Project title: Functional Heterogeneous Systems
Research topic: Programming Languages


Noric Couderc Main advisor: Christoph Reichenbach
Project title: Fine grained class selection from qualitative criteria.
Research topic: Programming Languages: Leverage program analysis to help developers pick the right implementation class for a given abstract data type


Nicolas Harrand Main advisor: Benoit Baudry
Affiliation: KTH
Email: Send Mail Webpage
Project title: Automatic Software Diversification
Research keywords: Empirical Software Engineering; Automatic Software Engineering; Software Diversity; Static analysis; Source to source transformation


César Soto Valero Main advisor: Benoit Baudry
Affiliation: KTH
Email: Send Mail Webpage
Project title: Software Diversity Through Debloat and Specialization
Research keywords: Program Debloating; Software Diversity; Automatic Software Engineering; Empirical Software Engineering


Idriss Riouak Main advisor: Görel Hedin
Affiliation: LTH
Webpage Publications
Project title: Explainable Declarative Program Analysis
Research keywords: Support easy development of powerful and explainable program analyses through declarative programming, so that interactive tools can effectively and efficiently utilize such analyses and describe the analyses’ conclusions to software developers.


Matthías Páll Gissurarson Main advisor: David Sands
Affiliation: Chalmers
Email: Send Mail Webpage
Project title: Type-driven Intelligence for Secure Software Synthesis and Repair
Research topic: My main topics are security, program synthesis, and repair, with a focus on functional programs and type-based specifications.

Edit page