Freie Universität Berlin, Department of Mathematics and Computer Science www.mi.fu-berlin.de/en/index.html Projects