Martin Vechev: Lerneinheiten im Frühjahrssemester 2023 |
| Name | Herr Prof. Dr. Martin Vechev |
| Lehrgebiet | Informatik |
| Adresse | Inst. Programmiersprachen u. -syst ETH Zürich, CAB H 69.1 Universitätstrasse 6 8092 Zürich SWITZERLAND |
| Telefon | +41 44 632 98 48 |
| martin.vechev@inf.ethz.ch | |
| URL | http://www.srl.inf.ethz.ch/ |
| Departement | Informatik |
| Beziehung | Ordentlicher Professor |
| Nummer | Titel | ECTS | Umfang | Dozierende | |
|---|---|---|---|---|---|
| 252-0216-00L | Rigorous Software Engineering  | 8 KP | 4V + 2U + 1A | M. Vechev, A.‑O. Bugariu, M. Schwerhoff | |
| 263-2100-00L | Research Topics in Software Engineering  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 KP | 2S | Z. Su, M. Vechev, R. Jung | |
| 263-2925-00L | Program Analysis for System Security and Reliability Findet dieses Semester nicht statt. | 7 KP | 2V + 1U + 3A | M. Vechev | |