Patrick Stuedi, IBM Research Zurich