Martin Vechev: Course units in Spring Semester 2018

Name Prof. Dr. Martin Vechev
FieldComputer 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
E-mailmartin.vechev@inf.ethz.ch
URLhttp://www.srl.inf.ethz.ch/
DepartmentComputer Science
RelationshipFull Professor

NumberTitleECTSHoursLecturers
252-0029-00LParallel Programming Information 7 credits4V + 2UT. Hoefler, M. Vechev
252-0216-00LSoftware Architecture and Engineering Information 8 credits4V + 3UP. Müller, M. Vechev
263-2925-00LProgram Analysis for System Security and Reliability Information 5 credits2V + 1U + 1AM. Vechev
263-2926-00LDeep Learning for Big Code Information Restricted registration - show details
Number of participants limited to 24.
2 credits2SM. Vechev
263-2930-00LBlockchain Security Seminar Information Restricted registration - show details
Number of participants limited to 26.
2 credits2SM. Vechev, D. Drachsler Cohen, P. Tsankov
264-5811-00LProgramming Systems Seminar Information Restricted registration - show details
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 credits2SP. Müller, M. Vechev