CS Colloquium Speaker Zvi Galil