Martin Vechev

Prof. Dr. Martin Vechev

Relation

Associate Professor

Contact Data

Tel.: +41 44 632 98 48
Tel. (Sec.): +41 44 632 82 09

http://www.srl.inf.ethz.ch/

Address

ETH Zürich
Martin Vechev
Inst. Programmiersprachen u. -syst
CAB  H 69.1
Universitätstrasse 6
8092 Zürich
Switzerland

Organisations Associate Professor at the Department of Computer Science
http://www.inf.ethz.ch/
Course Catalogue
252-0216-00L Rigorous Software Engineering
263-2100-00L Research Topics in Software Engineering
263-2925-00L Program Analysis for System Security and Reliability
Publications inResearch Collection – Publication platform of ETH Zurich
ETH Library Search Portal (advanced search for name)