Martin Vechev: Course units in Autumn Semester 2017

Name Prof. Dr. Martin Vechev
FieldComputer Science
Address
Professur für Informatik
ETH Zürich, CAB H 69.2
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
RelationshipAssociate Professor

NumberTitleECTSHoursLecturers
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