Peter Müller

Golden Owl

Herr Prof. Dr. Peter Müller

Funktion

Leiter CAS ETH in Informatik

Beziehung

Ordentlicher Professor

Kontaktdaten

Tel.: +41 44 632 28 68
Tel. (Sek.): +41 44 632 85 80

http://www.pm.inf.ethz.ch

Adresse

ETH Zürich
Peter Müller
Programming Methodology Group
CAB  H 84
Universitätstrasse 6
8092 Zürich
Schweiz

Organisatorische Zugehörigkeit Ordentlicher Professor am Departement Informatik
http://www.inf.ethz.ch/
Curriculum Vitae (CV)

Peter Müller ist ordentlicher Professor für Informatik an der ETH Zürich (seit 2003 Assistenzprofessor für Software Component Technology).



Geboren 1972 in Ingolstadt, Deutschland, begann er 1991 mit seinem Studium der Informatik an der Technischen Universität München, welches er 1996 mit dem Diplom in Informatik abschloss. Von 1996 bis 2001 arbeitete er unter der Betreuung von Prof. A. Poetzsch-Heffter als wissenschaftlicher Mitarbeiter, zunächst an der Technischen Universität München, später an der Fernuniversität Hagen. Dort promovierte er 2001 mit einer Dissertation über "Modular Specification and Verification of Object-Oriented Programs". Bis zu seinem Wechsel an die ETH war Peter Müller als Projektleiter bei der Deutschen Bank in Frankfurt tätig. Von Juni 2007 bis Juli 2008 forschte er bei Microsoft Research, Redmond.



Das Ziel von Peter Müllers Forschung ist die Entwicklung von Sprachen, Methoden und Werkzeugen für die Erstellung korrekter Software.

Vorlesungsverzeichnis
252-0058-00L Formal Methods and Functional Programming
263-2812-00L Program Verification
Publikationen inResearch Collection – Publikationsplattform der ETH Zürich
Suchportal der ETH-Bibliothek (erweiterte Suche nach Namen)