Martin Vechev: Lehrveranstaltungen im Frühjahrssemester 2023

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-0216-00LRigorous Software Engineering Information 8 KP4V + 2U + 1A
252-0216-00 VRigorous Software Engineering4 Std.
Mi12:15-14:00HG F 3 »
Do12:15-14:00HG F 3 »
M. Vechev, A.‑O. Bugariu, M. Schwerhoff
252-0216-00 URigorous Software Engineering
Gruppeneinteilung erfolgt über myStudies.
2 Std.
Mo14:15-16:00ML F 34 »
Do16:15-18:00LFW C 5 »
M. Vechev, A.‑O. Bugariu, M. Schwerhoff
252-0216-00 ARigorous Software Engineering1 Std.M. Vechev, A.‑O. Bugariu, M. Schwerhoff
263-2100-00LResearch Topics in Software Engineering Information Belegung eingeschränkt - Details anzeigen
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-2100-00 SResearch Topics in Software Engineering2 Std.
Do12:15-14:00CAB G 52 »
Z. Su, M. Vechev, R. Jung
263-2925-00LProgram Analysis for System Security and Reliability Information 7 KP2V + 1U + 3A
263-2925-00 VProgram Analysis for System Security and Reliability
Findet dieses Semester nicht statt.
2 Std.M. Vechev
263-2925-00 UProgram Analysis for System Security and Reliability
Findet dieses Semester nicht statt.
1 Std.M. Vechev
263-2925-00 AProgram Analysis for System Security and Reliability
Findet dieses Semester nicht statt.
3 Std.M. Vechev