Mathias Payer, ETH Zurich and University of California, Berkeley