Prof. Dr. Klaus Hinrichs, Institut für Informatik