Martin Vechev: Courses in Autumn Semester 2017

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.
2 credits2S
263-2100-00 SResearch Topics in Software Engineering2 hrs
Thu15:15-17:00CAB 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:15-12:00HG E 3 »
19.09.10:15-12:00CAB G 59 »
26.09.10:15-12:00CAB G 59 »
M. Vechev
263-2400-00 UReliable and Interpretable Artificial Intelligence1 hrs
Tue14:15-15:00HG F 26.3 »
Wed11:15-12:00CAB 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:15-15:00CAB H 52 »
P. Müller, M. Vechev