Martin Vechev: Lehrveranstaltungen im Frühjahrssemester 2018 |
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 | |||||||||||||||||
252-0029-00 V | Parallele Programmierung Di 10-12 h im ML D 28 mit Videoübertragung im ML E 12 Mi 13-15 h im HG F 7 mit Videoübertragung im HG F 5 | 4 Std. |
| T. Hoefler, M. Vechev | ||||||||||||||||
252-0029-00 U | Parallele Programmierung | 2 Std. | T. Hoefler, M. Vechev | |||||||||||||||||
252-0216-00L | Software Architecture and Engineering | 8 KP | 4V + 3U | |||||||||||||||||
252-0216-00 V | Software Architecture and Engineering | 4 Std. |
| P. Müller, M. Vechev | ||||||||||||||||
252-0216-00 U | Software Architecture and Engineering | 3 Std. |
| P. Müller, M. Vechev | ||||||||||||||||
263-2925-00L | Program Analysis for System Security and Reliability | 5 KP | 2V + 1U + 1A | |||||||||||||||||
263-2925-00 V | Program Analysis for System Security and Reliability | 2 Std. |
| M. Vechev | ||||||||||||||||
263-2925-00 U | Program Analysis for System Security and Reliability | 1 Std. |
| M. Vechev | ||||||||||||||||
263-2925-00 A | Program Analysis for System Security and Reliability | 1 Std. | M. Vechev | |||||||||||||||||
263-2926-00L | Deep Learning for Big Code Number of participants limited to 24. | 2 KP | 2S | |||||||||||||||||
263-2926-00 S | Deep Learning for Big Code | 2 Std. |
| M. Vechev | ||||||||||||||||
263-2930-00L | Blockchain Security Seminar Number of participants limited to 26. | 2 KP | 2S | |||||||||||||||||
263-2930-00 S | Blockchain Security Seminar | 2 Std. |
| M. Vechev, D. Drachsler Cohen, P. Tsankov | ||||||||||||||||
264-5811-00L | Programming Systems Seminar 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 | |||||||||||||||||
264-5811-00 S | Programming Systems Seminar
Bewilligung der Dozierenden für alle Studierenden notwendig.
| 2 Std. | P. Müller, M. Vechev |