Wir sind Teil des Instituts für Informatik der Johannes Gutenberg-Universität Mainz.