About us

The Programming Methodology group is led by Prof. Peter Müller and is part of the Institute for Programming Languages and Systems. Our research and teaching focus on the construction and analysis of high-quality software systems. We develop theoretical foundations as well as practically-useful tools to explore new ways to write, specify, verify, and test programs. Most of our work targets object-oriented programs, both sequential and concurrent.