News and upcoming events

Open Positions

We are recruiting PhD students in program verification, programming languages, and programming environments. Check out the job descriptions.

Student Projects Available

Our group offers many different topics for Master's theses, Bachelor's theses, and Research in Computer Science Projects. 

Our Mailing List

If you are interested in our activities, you can subscribe to the PMInterest mailing list.

Workshop on Software Correctness and Reliability

All information on the workshop 2014 can be found here.

The slides and videos of 2013 are available on the workshop website

Welcome to the internet presence of the Chair of Programming Methodology.

Recent papers

L. Brutschy and P. Ferrara and P. Müller: Static Analysis for Independent App Developers, Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), 2014. To appear.

J. Boyland and P. Müller and M. Schwerhoff and A. J. Summers: Constraint Semantics for Abstract Read Permissions, Formal Techniques for Java-like Programs (FTfJP), 2014. To appear.

M. Christakis and P. Emmisberger and P. Müller: Dynamic Test Generation with Static Fields and Initializers, Runtime Verification (RV), 2014.

M. Christakis and P. Müller and V. Wüstholz: An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer, Technical Report, ETH Zurich, 2014.

M. Christakis and P. Müller and V. Wüstholz: Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations, Software Engineering and Formal Methods (SEFM), 2014.

Program Committees

Peter Müller is currently on the program committees of the following conferences:


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 a newer browser.
More information

© 2014 ETH Zurich | Imprint | Disclaimer | 7 October 2014