Martin Vechev: Course units in Spring Semester 2016

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-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