Martin Vechev: Course units in Autumn Semester 2013 |
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 | |
---|---|---|---|---|---|
252-2600-05L | Software Engineering Seminar | 2 credits | 2S | T. Hoefler, M. Vechev | |
263-2910-00L | Program Analysis | 4 credits | 2V + 1U | M. Vechev | |
264-5810-00L | Programming Languages Seminar | 2 credits | 2S | P. Müller, M. Vechev |