Martin Vechev, ETH Zürich