Software Engineering Group
Chair: Prof. Dr. Reiner Hähnle

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