Contact

ETH Zürich
Department of Computer Science
Secure, Reliable, and Intelligent Systems Lab
CAB H 69.1
Universitätstrasse 6
8092 Zürich
Switzerland
E-mail: martin.vechev@inf.ethz.ch
Phone: +41 44 632 98 48