Alessandro Sorniotti, IBM Research - Zurich