University of Osnabrück, Institute of Computer Science