Software Engineering

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

Open Positions

Currently we have open vacancies for a postdoc and PhDs. More Information: here

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