International Computer Science Institute. Institut für Grundlagenforschung der Informatik mit Sitz in Berkeley.