Martin Vechev: Courses in Spring Semester 2018

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:00CHN E 46 »
15:15-17:00ETZ F 91 »
15:15-17:00ETZ H 91 »
15:15-17:00ETZ J 91 »
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-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 »
Tue15:15-18:00CHN D 48 »
15:15-18:00HG D 3.1 »
15:15-18:00ML E 12 »
Thu15:15-18:00ETZ F 91 »
P. Müller, 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 »
30.05.15:15-17: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-2926-00LDeep Learning for Big Code Information Restricted registration - show details
Number of participants limited to 24.
2 credits2S
263-2926-00 SDeep Learning for Big Code2 hrs
Mon16:15-18:00CHN D 48 »
M. Vechev
263-2930-00LBlockchain Security Seminar Information Restricted registration - show details
Number of participants limited to 26.
2 credits2S
263-2930-00 SBlockchain Security Seminar2 hrs
Fri13:15-15:00CHN G 22 »
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.
Permission from lecturers required for all students.
2 hrsP. Müller, M. Vechev