The chair of Software Engineering at the University Augsburg performs research, development, and education in software quality, computer safety, and security. The emphasis is put on the systematic construction of high assurance systems for technical, safety- or security-critical, and commercial applications. A major competence are formal methods for rigorous specification, mathematical analysis, and verification of systems. For more than a decade the group has experience with a variety of formal methods in different application areas. The group has developed industrial strength support tools, and has a strong background in mechanized reasoning. The group distributes the tool KIV, and offers various services to industry and academia.

Chair of Software Engineering

Head of Department

Prof. Dr. Wolfgang Reif
University of Augsburg
Department of Software Engineering and Programming Languages
Institute of ComputerScience
86135 Augsburg


Tel :+49 8 21 / 598 - 21 74
Fax :+49 8 21 / 598 - 21 75
e-mail: sekretariat.isse@informatik.uni-augsburg.de

Chair of Software Engineering