Martin Vechev: Courses 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 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