Florian Merz, Institute for Theoretical Computer Science, Karlsruhe Institute of Technology