University of Leipzig, Institute for Computer Science