Peter Müller

Mailing address Peter Müller ETH Zurich ETH Zentrum, RZ F2 8092 Zurich

Contact Office: RZ F2 Phone: +41 44 632 28 68 Fax: +41 44 632 14 35 E-mail: peter.mueller@inf.ethz.ch This page: http://pm.inf.ethz.ch/people/mueller

I recently returned to ETH as a Full Professor. Previously I worked as a Researcher at Microsoft Research in Redmond.

The objective of my research is to enable programmers to develop correct software. To achieve this goal, I work on programming languages, methods, and tools.

I am currently on the program committee of the following conferences:

• Foundations of Object-Oriented Languages (FOOL) 2009
• Automatic Program Verification 2009
• Perspectives of System Informatics (PSI) 2009
• Formal Techniques for Distributed Systems (FMOODS/FORTE) 2009
• TOOLS Europe 2009
• Theoretical Aspects of Software Engineering (TASE) 2009
• Formal Methods (FM) 2009

See publications page at http://pm.inf.ethz.ch/publications/index.html