Martin Vechev: Course units 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 P. Müller, T. Gross, M. Püschel, M. Vechev
263-2400-00L Reliable and Interpretable Artificial Intelligence Information 4 credits 2V + 1U M. Vechev
263-2920-00L Machine Learning for Interactive Systems and Advanced Programming Tools Information
Does not take place this semester.
2 credits 2S O. Hilliges, M. Vechev
264-5810-00L Programming Languages Seminar 2 credits 2S P. Müller, M. Vechev