Free University of Berlin, Department of Mathematics and Computer Science, Computer Science Institute