Martin Vechev: Courses in Autumn Semester 2017

Name Prof. Dr. Martin Vechev
Field Computer 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-mail martin.vechev@inf.ethz.ch
URL http://www.srl.inf.ethz.ch/
Department Computer Science
Relationship Associate Professor

Number Title ECTS Hours Lecturers
263-2100-00L Research Topics in Software Engineering Information
Number of participants limited to 22.
2 credits 2S
263-2100-00 S Research Topics in Software Engineering 2 hrs
Thu 15-17 CAB G 59 »
P. Müller, T. Gross, M. Püschel, M. Vechev
263-2400-00L Reliable and Interpretable Artificial Intelligence Information 4 credits 2V + 1U
263-2400-00 V Reliable and Interpretable Artificial Intelligence 2 hrs
Tue 10-12 HG E 3 »
19.09. 10-12 CAB G 59 »
26.09. 10-12 CAB G 59 »
M. Vechev
263-2400-00 U Reliable and Interpretable Artificial Intelligence 1 hrs
Tue 14-15 HG F 26.3 »
Wed 11-12 CAB G 59 »
M. Vechev
263-2920-00L Machine Learning for Interactive Systems and Advanced Programming Tools Information 2 credits 2S
263-2920-00 S Machine Learning for Interactive Systems and Advanced Programming Tools
Does not take place this semester.
2 hrs O. Hilliges, M. Vechev
264-5810-00L Programming Languages Seminar 2 credits 2S
264-5810-00 S Programming Languages Seminar 2 hrs
Wed 13-15 CAB H 52 »
P. Müller, M. Vechev