Martin Vechev: Courses in Autumn Semester 2017 |
Name | Prof. Dr. Martin Vechev |
Field | Computer 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 |
martin.vechev@inf.ethz.ch | |
URL | http://www.srl.inf.ethz.ch/ |
Department | Computer Science |
Relationship | Full Professor |
Number | Title | ECTS | Hours | Lecturers | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
263-2100-00L | Research Topics in Software Engineering Number of participants limited to 22. | 2 credits | 2S | |||||||||||
263-2100-00 S | Research Topics in Software Engineering | 2 hrs |
| P. Müller, T. Gross, M. Püschel, M. Vechev | ||||||||||
263-2400-00L | Reliable and Interpretable Artificial Intelligence | 4 credits | 2V + 1U | |||||||||||
263-2400-00 V | Reliable and Interpretable Artificial Intelligence | 2 hrs |
| M. Vechev | ||||||||||
263-2400-00 U | Reliable and Interpretable Artificial Intelligence | 1 hrs |
| M. Vechev | ||||||||||
263-2920-00L | Machine Learning for Interactive Systems and Advanced Programming Tools | 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 |
| P. Müller, M. Vechev |