Martin Vechev: Courses in Spring Semester 2023

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-00LRigorous Software Engineering Information 8 credits4V + 2U + 1A
252-0216-00 VRigorous Software Engineering4 hrs
Wed12:15-14:00HG F 3 »
Thu12:15-14:00HG F 3 »
M. Vechev, A.‑O. Bugariu, M. Schwerhoff
252-0216-00 URigorous Software Engineering
Groups are selected in myStudies.
2 hrs
Mon14:15-16:00ML F 34 »
Thu16:15-18:00LFW C 5 »
M. Vechev, A.‑O. Bugariu, M. Schwerhoff
252-0216-00 ARigorous Software Engineering1 hrsM. Vechev, A.‑O. Bugariu, M. Schwerhoff
263-2100-00LResearch Topics in Software Engineering Information Restricted registration - show details
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-2100-00 SResearch Topics in Software Engineering2 hrs
Thu12:15-14:00CAB G 52 »
Z. Su, M. Vechev, R. Jung
263-2925-00LProgram Analysis for System Security and Reliability Information 7 credits2V + 1U + 3A
263-2925-00 VProgram Analysis for System Security and Reliability
Does not take place this semester.
2 hrsM. Vechev
263-2925-00 UProgram Analysis for System Security and Reliability
Does not take place this semester.
1 hrsM. Vechev
263-2925-00 AProgram Analysis for System Security and Reliability
Does not take place this semester.
3 hrsM. Vechev