 |
|
||||||||||
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.
Welcome to the internet presence of the Chair of Programming Methodology.
New Faculty Member
We are excited to announce that Martin Vechev joined us as an assistant professor.
Awards
Werner Dietl, Mike Ernst, and Peter Müller won the ECOOP best paper award for the paper "Tunable Static Inference for Generic Universe Types".
The publication "The 1st Verified Software Competition: Experience Report" won the "Best Paper Award" at FM2011, Limerick.
Recent papers
M. J. Parkinson and A. J. Summers: The Relationship Between Separation Logic and Implicit Dynamic Frames, Logical Methods in Computer Science, 2012. To appear.
Hatcliff, J. and Leavens, G. T. and Leino, K. R. M. and Müller, P. and Parkinson, M.: Behavioral Interface Specification Languages, Computing Surveys, 2012
I. T. Kassios and P. Müller and M. Schwerhoff: Comparing Verification Condition Generation with Symbolic Execution: an Experience Report, Verified Software Theories Tools Experiments (VSTTE), 2012.
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
