Team Jonathan Brachthäuser Head of the SE research group Jiří Beneš Researcher Marcial Gaißert Researcher Philipp Schuster Researcher Bettina Kappler Secretary