From 2 November 2020, the autumn semester 2020 will take place online. Exceptions: Courses that can only be carried out with on-site presence. Please note the information provided by the lecturers via e-mail.

Martin Vechev: Courses in Autumn Semester 2017

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
RelationshipAssociate Professor

263-2100-00LResearch Topics in Software Engineering Information Restricted registration - show details
Number of participants limited to 22.
2 credits2S
263-2100-00 SResearch Topics in Software Engineering2 hrs
Thu15-17CAB G 59 »
P. Müller, T. Gross, M. Püschel, M. Vechev
263-2400-00LReliable and Interpretable Artificial Intelligence Information 4 credits2V + 1U
263-2400-00 VReliable and Interpretable Artificial Intelligence2 hrs
Tue10-12HG E 3 »
19.09.10-12CAB G 59 »
26.09.10-12CAB G 59 »
M. Vechev
263-2400-00 UReliable and Interpretable Artificial Intelligence1 hrs
Tue14-15HG F 26.3 »
Wed11-12CAB G 59 »
M. Vechev
263-2920-00LMachine Learning for Interactive Systems and Advanced Programming Tools Information 2 credits2S
263-2920-00 SMachine Learning for Interactive Systems and Advanced Programming Tools
Does not take place this semester.
2 hrsO. Hilliges, M. Vechev
264-5810-00LProgramming Languages Seminar2 credits2S
264-5810-00 SProgramming Languages Seminar2 hrs
Wed13-15CAB H 52 »
P. Müller, M. Vechev