Eidgenössische Technische Hochschule Zürich PDF Print E-mail

The Swiss Federal Institute of Technology Zurich is an institution of the Swiss Confederation dedicated to higher learning and research. ETH Zurich has a central infrastructure for, and considerable experience with, the administration of EU projects. In particular, ETH Zurich was involved in 226 FP6 projects of the European Union and currently participates in more than 160 FP7 projects.

Research and networking expertise

The Programming Methodology Group was founded in August 2008. It is headed by Peter Müller. It consists of 7 researchers. The Chair of Programming Methodology creates techniques and tools for the development of provably correct object-oriented software components. To achieve this goal, the group studies and applies a variety of approaches including behavioural interface specifications, program verification, and advanced type systems.The System Security Group was founded in September 2006 and is headed by Srdjan Capkun. It consists of 8 researchers. It is a part of the Department of Computer Science at ETH Zurich. It is also affiliated with the Zurich Information Security Centre (ZISC). The group performs research and teaches on the design and the analysis of security protocols for wired and wireless networks and systems.The Information Security Group headed by David Basin consists of 20 researchers, focusing on different aspects of the development of rigorous methods and tools for building secure and reliable systems, such as methods and tools for the formal specification and validation of industrial-scale security protocols, development of correct-by-construction secure systems by stepwise refinement, as well as model-driven security, testing and runtime verification. The group collaborates with several international academic and industrial partners. David Basin is also director of the Zurich Information Security Centre, which brings together members of ETH Zurich and industry, with the aim of providing a coordinated program of state-of-the-art research and education in information security.



Key scientific staff

David Basin

Christoph Sprenger

Srdjan Capkun

Peter Müller