Martin Vechev: Courses 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 + 3U
252-0216-00 VSoftware Architecture and Engineering4 hrs
Mon10:15-12:00CAB G 61 »
Wed10:15-12:00CAB G 61 »
P. Müller, M. Vechev
252-0216-00 USoftware Architecture and Engineering3 hrs
Mon13:15-16:00CHN D 44 »
13:15-16:00CHN F 46 »
13:15-16:00CHN G 22 »
13:15-16:00HG D 5.3 »
13:15-16:00HG F 26.3 »
P. Müller, M. Vechev
263-2100-00LResearch Topics in Software Engineering Information 2 credits2S
263-2100-00 SResearch Topics in Software Engineering2 hrs
Mon16:15-18:00CHN D 48 »
M. Vechev
263-2910-00LProgram Analysis and Synthesis Information 6 credits3V + 2U
263-2910-00 VProgram Analysis and Synthesis3 hrs
Mon13:15-16:00CAB G 51 »
M. Vechev
263-2910-00 UProgram Analysis and Synthesis2 hrs
Tue13:15-15:00CHN F 46 »
M. 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 credits2S
264-5811-00 SProgramming Systems Seminar Special students and auditors need a special permission from the lecturers.
Permission from lecturers required for all students.
2 hrs
24.02.13:15-15:00CAB H 52 »
02.03.13:15-15:00CAB H 53 »
09.03.13:15-15:00CAB H 52 »
16.03.13:15-15:00CAB H 52 »
23.03.13:15-15:00CAB H 52 »
06.04.13:15-15:00CAB H 52 »
13.04.13:15-15:00CAB H 52 »
20.04.13:15-15:00CAB H 52 »
27.04.13:15-15:00CAB H 52 »
04.05.13:15-15:00CAB H 52 »
11.05.13:15-15:00CAB H 52 »
18.05.13:15-15:00CAB H 52 »
25.05.13:15-15:00CAB H 52 »
01.06.13:15-15:00CAB H 52 »
P. Müller, M. Vechev