Martin Vechev: Lerneinheiten im Frühjahrssemester 2019 |
| 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-0029-00L | Parallele Programmierung  | 7 KP | 4V + 2U | T. Hoefler, M. Vechev | |
| 252-0216-00L | Rigorous Software Engineering Previously called Software Architecture and Engineering | 8 KP | 4V + 3U | Z. Su, M. Vechev | |
| 263-2925-00L | Program Analysis for System Security and Reliability | 5 KP | 2V + 1U + 1A | M. Vechev | |
| 263-2930-00L | Blockchain Security Seminar  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 KP | 2S | M. Vechev, D. Drachsler Cohen, P. Tsankov | |
| 264-5811-00L | Programming Systems Seminar Findet dieses Semester nicht statt. The seminar is open to assistants of the Chair of Programming Methodology and the Software Reliability Lab (Department of Computer Science). Others should contact the instructors. | 2 KP | 2S | P. Müller, M. Vechev | |