Martin Vechev: Course units 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
RelationshipFull Professor

263-2100-00LResearch Topics in Software Engineering Information Restricted registration - show details
Number of participants limited to 22.
2 credits2SP. Müller, T. Gross, M. Püschel, M. Vechev
263-2400-00LReliable and Interpretable Artificial Intelligence Information 4 credits2V + 1UM. Vechev
263-2920-00LMachine Learning for Interactive Systems and Advanced Programming Tools Information
Does not take place this semester.
2 credits2SO. Hilliges, M. Vechev
264-5810-00LProgramming Languages Seminar2 credits2SP. Müller, M. Vechev