Martin Vechev: Course units in Autumn Semester 2014

Name Prof. Dr. Martin Vechev
FieldComputer Science
Address
Professur für Informatik
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
RelationshipAssociate Professor

NumberTitleECTSHoursLecturers
263-2910-00LProgram Analysis Information
Does not take place this semester.
The course will be offered again in the spring semester 2015.
4 credits2V + 1UM. Vechev
264-5810-00LProgramming Languages Seminar2 credits2SP. Müller, M. Vechev