Ioannis Koltsidas, IBM Research, Zurich