Martin Vechev: Course units in Autumn Semester 2019 |
| 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. The deadline for deregistering expires at the end of the second week of the semester. Students who are still registered after that date, but do not attend the seminar, will officially fail the seminar. | 2 credits | 2S | P. Müller, M. Püschel, Z. Su, M. Vechev | |
| 263-2400-00L | Reliable and Interpretable Artificial Intelligence | 5 credits | 2V + 1U + 1A | M. Vechev | |