Martin Vechev: Course units in Autumn Semester 2013

Name Prof. Dr. Martin Vechev
FieldComputer Science
Address
Inst. Programmiersprachen u. -syst
ETH Zürich, CAB H 69.1
Universitätstrasse 6
8092 Zürich
SWITZERLAND
Telephone+41 44 632 98 48
E-mailmartin.vechev@inf.ethz.ch
URLhttp://www.srl.inf.ethz.ch/
DepartmentComputer Science
RelationshipFull Professor

NumberTitleECTSHoursLecturers
252-2600-05LSoftware Engineering Seminar Information 2 credits2ST. Hoefler, M. Vechev
263-2910-00LProgram Analysis Information 4 credits2V + 1UM. Vechev
264-5810-00LProgramming Languages Seminar2 credits2SP. Müller, M. Vechev