Martin Vechev: Courses in Autumn Semester 2020

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
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 credits2S
263-2100-00 SResearch Topics in Software Engineering
The lecturers will communicate the exact lesson times of ONLINE courses.
2 hrs
Tue14:00-16:00ON LI NE »
Z. Su, M. Vechev
263-2400-00LReliable and Interpretable Artificial Intelligence Information 6 credits2V + 2U + 1A
263-2400-00 VReliable and Interpretable Artificial Intelligence
The lecturers will communicate the exact lesson times of ONLINE courses.
2 hrs
Wed14:00-16:00ON LI NE »
M. Vechev
263-2400-00 UReliable and Interpretable Artificial Intelligence
Exercise session will start in the second week of the semester.
2 hrs
Mon12:15-14:00CAB G 56 »
Wed12:15-14:00CAB G 51 »
M. Vechev
263-2400-00 AReliable and Interpretable Artificial Intelligence1 hrsM. Vechev