About us

Main content

The Chair of Programming Methodology is a research group in the Department of Computer Science at ETH Zurich, led by Prof. Peter Müller. 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.

Page URL: http://www.pm.inf.ethz.ch/about-us.html
Fri Jun 23 12:25:23 CEST 2017
© 2017 Eidgenössische Technische Hochschule Zürich