Martin Vechev: Course units in Spring Semester 2022

Name Prof. Dr. Martin Vechev
FieldComputer Science
Inst. Programmiersprachen u. -syst
ETH Zürich, CAB H 69.1
Universitätstrasse 6
8092 Zürich
Telephone+41 44 632 98 48
DepartmentComputer Science
RelationshipFull Professor

252-0216-00LRigorous Software Engineering Information 8 credits4V + 2U + 1AM. Schwerhoff, M. Vechev
263-2100-00LResearch Topics in Software Engineering 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 credits2SZ. Su, M. Vechev
263-2925-00LProgram Analysis for System Security and Reliability Information 7 credits2V + 1U + 3AM. Vechev