Neuer Informatikprofessor an der ETH Zürich

Müller, zurzeit Forscher bei Microsoft Research, wurde vom ETH-Rat zum ordentlichen Professor für Informatik gewählt. Bereits 2003 begann er mit der Arbeit als Assistenzprofessor für Software Component Technology am Departement für Informatik der ETH Zürich. Der gebürtige Deutsche promovierte 2001 an der Fernuniversität Hagen mit einer Dissertation über "Modular Specification and Verification of Object-Oriented Programs".