Team Jonathan Brachthäuser Head of the SE research group Jiří Beneš Researcher Marcial Gaißert Researcher Philipp Schuster Researcher Bettina Kappler Secretary Marvin Borner Student Compiler Engineer David Voigt Student Compiler Engineer Martin Ilgner Student Research Assistant Moritz Scheuerle Student Research Assistant
