Ioannis Koltsidas, IBM Research Zürich