|
ETHistory 1855-2005 | Rückblicke | Departemente | INFK | Weitere Seiten | professoren | Biografien | Peter Müller, 1972- |
|
|
Wichtiger Hinweis:
Diese Website wird in älteren Versionen von Netscape ohne graphische Elemente dargestellt. Die Funktionalität der Website ist aber trotzdem gewährleistet.
Wenn Sie diese Website regelmässig benutzen, empfehlen wir Ihnen, auf Ihrem Computer einen aktuellen Browser zu installieren.
Weitere Informationen finden Sie auf
folgender Seite.
Important Note:
The content in this site is accessible to any browser or Internet device,
however, some graphics will display correctly only in the newer versions of
Netscape.
To get the most out of our site we suggest you upgrade to the latest
Netscape.
More information
 |
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. |
|
 |
