Peter Müller: Lehrveranstaltungen im Frühjahrssemester 2023

Auszeichnung: Die Goldene Eule
NameHerr Prof. Dr. Peter Müller
LehrgebietInformatik
Adresse
Professur für Software Technology
ETH Zürich, CAB H 84
Universitätstrasse 6
8092 Zürich
SWITZERLAND
Telefon+41 44 632 28 68
E-Mailpeter.mueller@inf.ethz.ch
URLhttp://www.pm.inf.ethz.ch
DepartementInformatik
BeziehungOrdentlicher Professor

NummerTitelECTSUmfangDozierende
252-0058-00LFormal Methods and Functional Programming Information 7 KP4V + 2U
252-0058-00 VFormal Methods and Functional Programming
Findet im HG E 7 mit Videoübertragung ins HG E 3 statt.
4 Std.
Di10:15-12:00HG E 3 »
10:15-12:00HG E 7 »
Do10:15-12:00HG E 3 »
10:15-12:00HG E 7 »
09.05.10:15-11:00HG E 33.1 »
D. Basin, P. Müller
252-0058-00 UFormal Methods and Functional Programming2 Std.
Di14:15-16:00CAB G 52 »
14:15-16:00CAB G 57 »
14:15-16:00NO D 11 »
Mi10:15-12:00CAB G 52 »
10:15-12:00ETZ F 91 »
10:15-12:00HG E 33.5 »
10:15-12:00LEE C 114 »
16:15-18:00CHN D 42 »
16:15-18:00CHN F 46 »
16:15-18:00HG G 26.5 »
D. Basin, P. Müller
263-2812-00LProgram Verification Information Belegung eingeschränkt - Details anzeigen 5 KP3G + 1A
263-2812-00 GProgram Verification Für Fachstudierende und Hörer/-innen ist eine Spezialbewilligung der Dozierenden notwendig.3 Std.
Mi09:15-12:00CAB G 56 »
P. Müller, M. Eilers
263-2812-00 AProgram Verification Für Fachstudierende und Hörer/-innen ist eine Spezialbewilligung der Dozierenden notwendig.1 Std.P. Müller, M. Eilers