Matthias Schunter, IBM Research—Zurich