Linus Alsbach, Institut für Informatik