Martin Vechev: Course units in Spring Semester 2015

Name Prof. Dr. Martin Vechev
Field Computer Science
Address
Professur für Informatik
ETH Zürich, CAB H 69.2
Universitätstrasse 6
8092 Zürich
SWITZERLAND
Telephone +41 44 632 98 48
E-mail martin.vechev@inf.ethz.ch
URL http://www.srl.inf.ethz.ch/
Department Computer Science
Relationship Associate Professor

Number Title ECTS Hours Lecturers
252-0216-00L Software Architecture and Engineering Information 8 credits 4V + 3U P. Müller, M. Vechev
263-2910-00L Program Analysis Information 4 credits 2V + 1U M. Vechev
264-5811-00L Programming Systems Seminar Information
The seminar is open to assistants of the Chair of Programming Methodology and the Software Reliability Lab (Department of Computer Science). Others should contact the instructors.
2 credits 2S P. Müller, M. Vechev