In addition to the subjects presented here, other topics can be arranged.
Please contact a member of the group if you are interested in writing a thesis (Studien- or Diplomarbeit).
You find more open topics for theses on the pages of the chair "Application-oriented Formal Verification" of Prof. Beckert.