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 and practically-useful tools to write, specify, and verify programs that are provably correct and secure.