Martin Vechev: Lehrveranstaltungen im Frühjahrssemester 2019

NameHerr Prof. Dr. Martin Vechev
LehrgebietInformatik
Adresse
Inst. Programmiersprachen u. -syst
ETH Zürich, CAB H 69.1
Universitätstrasse 6
8092 Zürich
SWITZERLAND
Telefon+41 44 632 98 48
E-Mailmartin.vechev@inf.ethz.ch
URLhttp://www.srl.inf.ethz.ch/
DepartementInformatik
BeziehungOrdentlicher Professor

NummerTitelECTSUmfangDozierende
252-0029-00LParallele Programmierung Information 7 KP4V + 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 Std.
Di10:15-12:00ML D 28 »
10:15-12:00ML E 12 »
Mi13:15-15:00HG F 5 »
13:15-15:00HG F 7 »
T. Hoefler, M. Vechev
252-0029-00 UParallele Programmierung2 Std.
Mi15: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 »
Fr10: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 KP4V + 3U
252-0216-00 VRigorous Software Engineering4 Std.
Mo10:15-12:00CAB G 61 »
Mi10:15-12:00CAB G 61 »
Z. Su, M. Vechev
252-0216-00 URigorous Software Engineering3 Std.
Mo13:15-16:00HG D 3.2 »
Di15:15-18:00CHN D 48 »
15:15-18:00HG D 3.1 »
15:15-18:00ML E 12 »
Do15: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 KP2V + 1U + 1A
263-2925-00 VProgram Analysis for System Security and Reliability2 Std.
Mo13:15-15:00CAB G 61 »
M. Vechev
263-2925-00 UProgram Analysis for System Security and Reliability1 Std.
Mo15:15-16:00CAB G 61 »
M. Vechev
263-2925-00 AProgram Analysis for System Security and Reliability1 Std.M. Vechev
263-2930-00LBlockchain Security Seminar Information Belegung eingeschränkt - Details anzeigen
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 KP2S
263-2930-00 SBlockchain Security Seminar2 Std.
Fr13:15-15:00CAB G 57 »
M. Vechev, D. Drachsler Cohen, P. Tsankov
264-5811-00LProgramming Systems Seminar Information Belegung eingeschränkt - Details anzeigen
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 KP2S
264-5811-00 SProgramming Systems Seminar Für Fachstudierende und Hörer/-innen ist eine Spezialbewilligung der Dozierenden notwendig.
Findet dieses Semester nicht statt.
Bewilligung der Dozierenden für alle Studierenden notwendig.
2 Std.P. Müller, M. Vechev