Martin Vechev

Martin Vechev

Fellow

Secure, Reliable, and Intelligent Systems Lab, ETH Zurich, Schweiz