Antoine Kaufmann, Max Planck Institute for Software Systems