Martin Vechev: Lerneinheiten im Frühjahrssemester 2017 |
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 | Software Architecture and Engineering | 8 KP | 4V + 3U | P. Müller, M. Vechev | |
263-2910-00L | Program Analysis and Synthesis | 6 KP | 3V + 2U | M. Vechev | |
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 | P. Müller, M. Vechev |