 |
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. |