Peter Müller: Courses in Spring Semester 2021

Award: The Golden Owl
Name Prof. Dr. Peter Müller
FieldSoftware Technology
Address
Programming Methodology Group
ETH Zürich, CAB H 84
Universitätstrasse 6
8092 Zürich
SWITZERLAND
Telephone+41 44 632 28 68
E-mailpeter.mueller@inf.ethz.ch
URLhttp://www.pm.inf.ethz.ch
DepartmentComputer Science
RelationshipFull Professor

NumberTitleECTSHoursLecturers
252-0058-00LFormal Methods and Functional Programming Information 7 credits4V + 2U
252-0058-00 VFormal Methods and Functional Programming4 hrs
Tue10:15-12:00ML D 28 »
Thu10:15-12:00ML D 28 »
D. Basin, P. Müller
252-0058-00 UFormal Methods and Functional Programming2 hrs
Tue14:15-16:00CAB G 52 »
14:15-16:00CAB G 57 »
14:15-16:00NO D 11 »
14:15-16:00NO E 11 »
Wed10:15-12:00CAB G 52 »
16:15-18:00CHN D 42 »
16:15-18:00CHN F 46 »
16:15-18:00HG G 26.5 »
16:15-18:00NO E 11 »
D. Basin, P. Müller
263-2812-00LProgram Verification Information Restricted registration - show details
Number of participants limited to 30.
5 credits3G + 1A
263-2812-00 GProgram Verification3 hrs
Wed09:15-12:00CAB G 56 »
P. Müller, C. Matheja
263-2812-00 AProgram Verification1 hrsP. Müller, C. Matheja