Martin Vechev

Herr Prof. Dr. Martin Vechev

Beziehung

Ausserordentlicher Professor

Kontaktdaten

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

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

Adresse

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

Organisatorische Zugehörigkeit Ausserordentlicher Professor am Departement Informatik
http://www.inf.ethz.ch/
Vorlesungsverzeichnis
252-0216-00L Rigorous Software Engineering
263-2100-00L Research Topics in Software Engineering
263-2925-00L Program Analysis for System Security and Reliability
Publikationen inResearch Collection – Publikationsplattform der ETH Zürich
Suchportal der ETH-Bibliothek (erweiterte Suche nach Namen)