Freie Universität Berlin, Institut für Informatik