Autumn Semester 2020 takes place in a mixed form of online and classroom teaching.
Please read the published information on the individual courses carefully.

Martin Vechev: Course units in Spring Semester 2016

Name Prof. Dr. Martin Vechev
FieldComputer Science
Inst. Programmiersprachen u. -syst
ETH Zürich, CAB H 69.1
Universitätstrasse 6
8092 Zürich
Telephone+41 44 632 98 48
DepartmentComputer Science
RelationshipAssociate Professor

252-0216-00LSoftware Architecture and Engineering Information 8 credits4V + 3UP. Müller, M. Vechev
263-2100-00LResearch Topics in Software Engineering Information 2 credits2SM. Vechev
263-2910-00LProgram Analysis and Synthesis Information 6 credits3V + 2UM. Vechev
264-5811-00LProgramming Systems Seminar Information Restricted registration - show details
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 credits2SP. Müller, M. Vechev