Martin Vechev: Courses in Spring Semester 2019

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-0029-00LParallel Programming Information 7 credits4V + 2U
252-0029-00 VParallele Programmierung
Di 10-12 h im ML D 28 mit Videoübertragung im ML E 12
Mi 13-15 h im HG F 7 mit Videoübertragung im HG F 5
4 hrs
Tue10:15-12:00ML D 28 »
10:15-12:00ML E 12 »
Wed13:15-15:00HG F 5 »
13:15-15:00HG F 7 »
T. Hoefler, M. Vechev
252-0029-00 UParallele Programmierung2 hrs
Wed15:15-17:00CHN E 42 »
15:15-17:00ETZ E 8 »
15:15-17:00ETZ F 91 »
15:15-17:00ETZ H 91 »
15:15-17:00ETZ J 91 »
15:15-17:00IFW C 35 »
15:15-17:00LFW C 11 »
15:15-17:00ML J 34.1 »
15:15-17:00ML J 34.3 »
Fri10:15-12:00CHN D 42 »
10:15-12:00ETZ G 91 »
10:15-12:00HG D 3.1 »
10:15-12:00HG D 3.3 »
10:15-12:00HG G 26.5 »
10:15-12:00IFW D 42 »
10:15-12:00LFW E 13 »
10:15-12:00ML J 37.1 »
10:15-12:00NO D 11 »
10:15-12:00NO E 11 »
T. Hoefler, M. Vechev
252-0216-00LRigorous Software Engineering Information
Previously called Software Architecture and Engineering
8 credits4V + 3U
252-0216-00 VRigorous Software Engineering4 hrs
Mon10:15-12:00CAB G 61 »
Wed10:15-12:00CAB G 61 »
Z. Su, M. Vechev
252-0216-00 URigorous Software Engineering3 hrs
Mon13:15-16:00HG D 3.2 »
Tue15:15-18:00CHN D 48 »
15:15-18:00HG D 3.1 »
15:15-18:00ML E 12 »
Thu15:15-18:00ML H 41.1 »
18.02.13:15-16:00CHN D 44 »
25.02.13:15-16:00CHN D 44 »
Z. Su, M. Vechev
263-2925-00LProgram Analysis for System Security and Reliability Information 5 credits2V + 1U + 1A
263-2925-00 VProgram Analysis for System Security and Reliability2 hrs
Mon13:15-15:00CAB G 61 »
M. Vechev
263-2925-00 UProgram Analysis for System Security and Reliability1 hrs
Mon15:15-16:00CAB G 61 »
M. Vechev
263-2925-00 AProgram Analysis for System Security and Reliability1 hrsM. Vechev
263-2930-00LBlockchain Security Seminar Information Restricted registration - show details
Number of participants limited to 22.

The deadline for deregistering expires at the end of the second week of the semester. Students who are still registered after that date, but do not attend the seminar, will officially fail the seminar.
2 credits2S
263-2930-00 SBlockchain Security Seminar2 hrs
Fri13:15-15:00CAB G 57 »
M. Vechev, D. Drachsler Cohen, P. Tsankov
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.
Does not take place this semester.
Permission from lecturers required for all students.
2 hrsP. Müller, M. Vechev