Institute of Software Technology

Software Technology deals with all issues related to software engineering and development. Our institute is composed of the Programming Languages and Compilers Group, the Reliable Software Systems Group, and the Software Engineering Group.
[Photo: Universität Stuttgart]

Reliable Software Systems

Prof. Dr.-Ing. Steffen Becker

The Reliable Software Systems group deals with methods, languages, and tools to engineer the quality of software systems. Software quality is the level to which a software system meets its requirements beyond the functional correctness, i.e., performance, reliability, safety, maintainability, scaleability, elasticity, cost- and energy-efficiency, etc.  Our methods help software architects, developers, and operators to design systems efficiently to meet their quality reqirements and to help them monitor and ensure them at runtime.

Reliable Software Systems Group

Software Engineering

Prof. Dr. rer. nat. Stefan Wagner

The Software Engineering Research Group wants to deliver contributions to software engineering which are applicable to the real world and also used in the real world. At the same time we do not ask external partners to apply software engineering procedures we do not follow ourselves daily. Thus we are our own, not always successful, laboratory animals.

Software Engineering Group

Software Lab

Prof. Dr. sc. Michael Pradel

The "Software Lab" is a research group that focuses on tools and
techniques for building reliable, efficient, and secure software. To
this end, we work on testing and analysis of complex software systems.
As part of our research, we have contributed to techniques that detected
thousands of bugs in widely used software.

Software Lab


Stefan Wagner
Prof. Dr.

Stefan Wagner

Head of the Software Engineering Group, Executive Director of the Institute of Software Technology

Katharina Plett

Katharina Plett

Secretary of the Software Engineering Group and of the Software Lab

To the top of the page