Herr Thore Thießen, Institut für Informatik