About Us

The group “Software Engineering” is lead by Prof. Dr. Reiner Hähnle . The group exists since September 2011. Please proceed to the pages of the individual group members to learn more about their projects activities, and publications.

Focus Areas :

• Formal Specification and Deductive Verification of Programs
• Modelling and Static Analysis of Concurrent and Distributed Systems