Martin Vechev: Courses in Autumn Semester 2019

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 Engineering2 hrs
Tue13:15-15:00CHN G 46 »
P. Müller, M. Püschel, Z. Su, M. Vechev
263-2400-00LReliable and Interpretable Artificial Intelligence Information 5 credits2V + 1U + 1A
263-2400-00 VReliable and Interpretable Artificial Intelligence2 hrs
Wed15:15-17:00HG G 3 »
M. Vechev
263-2400-00 UReliable and Interpretable Artificial Intelligence
No exercise session in the first semester week. Exercise session will start in the second week of the semester.
1 hrs
Mon13:15-14:00LFW C 4 »
Wed11:15-12:00CAB G 59 »
M. Vechev
263-2400-00 AReliable and Interpretable Artificial Intelligence1 hrsM. Vechev