Dmitriy Traytel: Courses in Spring Semester 2019

Name Dr. Dmitriy Traytel
URLhttp://people.inf.ethz.ch/trayteld
DepartmentComputer Science
RelationshipLecturer

NumberTitleECTSHoursLecturers
252-0058-00LFormal Methods and Functional Programming Information 7 credits4V + 2U
252-0058-00 VFormal Methods and Functional Programming4 hrs
Tue10:15-12:00HG G 5 »
Thu10:15-12:00HG G 5 »
D. Basin, P. Müller, D. Traytel
252-0058-00 UFormal Methods and Functional Programming2 hrs
Tue13:15-15:00CAB G 52 »
13:15-15:00CHN D 46 »
13:15-15:00NO D 11 »
13:15-15:00NO E 11 »
Wed15:15-17:00CAB G 59 »
15:15-17:00CHN D 42 »
15:15-17:00IFW A 34 »
15:15-17:00IFW C 33 »
D. 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 credits7P
263-4630-00 PComputer-Aided Modelling and Reasoning7 hrs
Fri09:15-13:00HG G 26.3 »
C. Sprenger, D. Traytel