Welcome

Welcome to the pages of the Chair of Programming Methodology at ETH Zurich, Switzerland.

Our whereabouts:

Physical address: Department of Computer Science RZ Building Clausiusstrasse 59 CH-8092 Zurich Switzerland		Mailing address: ETH Zurich Chair of Programming Methodology, Prof. Peter Müller ETH Zentrum, RZ Building CH-8092 Zurich Switzerland
Fax: +41 44 632 14 35

See the people section for individual phone numbers and email addresses.

The new Chair of Programming Methodology is recruiting PhD students and postdocs to work on topics in programming methodology and program verification.