image/svg+xml Dr. Marie-Christine Jakobs Dr. Marie-Christine Jakobs Dr. Frank Sarre Dr. Frank Sarre Thomas Lemberger Thomas Lemberger Thomas Bunk Thomas Bunk Alexander Koos Alexander Koos Anton Fasching Anton Fasching Matthias Dangl Matthias Dangl Balthasar Schüss Balthasar Schüss Prof. Dr. Dirk Beyer Prof. Dr. Dirk Beyer Marianne Diem Marianne Diem Martin Spiessl Martin Spiessl Karlheinz Friedberger Karlheinz Friedberger Dr. Philipp Wendler Dr. Philipp Wendler

News

About us

Software-systems research develops the technology for the development, verification, and maintenance of large, long-living software systems of high quality. The enormous growth of size and reliability of software programs in our society during the last decades is made possible by modern software technology.

The Chair for Software and Computational Systems at Ludwig-Maximilians-Universität München (LMU) represents the area of development, verification, and maintenance of software systems and provides courses in that spectrum. We emphasize modern design techniques like design patterns, modern programming techniques like refactoring or unit testing, as well as modern architectures such as web-based information systems and cloud computing. The special topic of the chair is quality assurance, in particular static analysis of the structure and behavior of software systems.

In terms of research, the group focusses on the development of new models, methods, and algorithms for the efficient analysis of software systems. We develop theoretical concepts but emphasize on tool implementations of the research results for the practical experimentation with the new methods. The lab publishes regularly on highly-ranked international conferences and receives funding from several sources.