Humboldt-Universität, Mathematisch-Naturwissenschaftliche Fakultät
Institut für Informatik