Herr Christof Duhme, Institut für Informatik