Michael Kaufmann, IBM Research Zurich and Karlsruhe Institute of Technology