News and upcoming events

Open Positions

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

Our Mailing List

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

Available Student Projects

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

Workshop on Software Correctness and Reliability

The slides and videos are available on the workshop website

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


Hybrid Security Analysis of Web JavaScript Code via Dynamic Partial Evaluation

Dr. Pietro Ferrara, IBM Thomas J. Watson Research Center

Thursday, April 17, 12:30 in CAB H52

Recent papers

M. Schwerhoff and A. J. Summers: Lightweight Support for Magic Wands in an Automatic Verifier, Technical Report, ETH Zurich, 2014. 

K. Rustan M. Leino and Valentin Wüstholz: The Dafny Integrated Development Environment, 1st Workshop on Formal-IDE, 2014. To appear.

P. Ferrara and D. Schweizer and L. Brutschy: TouchCost: Cost Analysis of TouchDevelop Scripts, Fundamental Approaches to Software Engineering (FASE), 2014. To appear. 

Editorial Board

Peter Müller is now on the editorial board for the journal Science of Computer Programming.

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 | 9 April 2014