Computer Laboratory, William Gates Building, Room SS03