Martin Vechev: Course units in Spring Semester 2016

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-2100-00L Research Topics in Software Engineering Information 2 credits 2S M. Vechev
263-2910-00L Program Analysis and Synthesis Information 6 credits 3V + 2U 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