The spring semester 2021 will take place online until further notice. Exceptions: Courses that can only be carried out with on-site presence. Please note the information provided by the lecturers.

Dmitriy Traytel: Course units in Spring Semester 2019

Name Dr. Dmitriy Traytel
Address
Institut f. Informationssicherheit
ETH Zürich, CNB F 107.2
Universitätstrasse 6
8092 Zürich
SWITZERLAND
Telephone+41 44 632 30 23
E-mailtraytel@inf.ethz.ch
URLhttp://people.inf.ethz.ch/trayteld
DepartmentComputer Science
RelationshipLecturer

NumberTitleECTSHoursLecturers
252-0058-00LFormal Methods and Functional Programming Information 7 credits4V + 2UD. Basin, P. Müller, D. Traytel
263-4630-00LComputer-Aided Modelling and Reasoning Information
In the Master Programme max. 10 credits can be accounted by Labs on top of the Interfocus Courses. Additional Labs will be listed on the Addendum.
8 credits7PC. Sprenger, D. Traytel