D-INFK news channel

The International Committee of the Red Cross aims to create a digital emblem to distinguish the computer systems of medical and humanitarian facilites and to protect them from cyberwarfare. The Center for Cyber Trust, which includes three D-INFK research groups, is developing the necessary technologies.

Four D-INFK doctoral graduates have received ETH Medals for their outstanding dissertations. Congratulations, Marco Eilers, Timon Gehr, Yifan Wang and Gaspard Zoss!

The alternative internet SCION, invented and developed at ETH Zurich by Adrian Perrig, provides fast, secure and reliable connections for data transfer. It is now available to any ETH lecturers, researchers or employees with special security, performance or reliability requirements.

Professor Peter Müller, head of the Programming Methodology Group, received the prestigious Amazon Research Award for his valuable contributions in the field of automated reasoning.

Four Master's graduates from the Department of Computer Science have won prizes for their outstanding Master's theses and grades: three ETH Medals and one Willi Studer Prize. Many congratulations!

A donation from the Werner Siemens Foundation is helping to finance a project in which ETH researchers are looking to develop a fundamentally new security architecture.

Professor Peter Müller, the retiring Director of Studies of the Department of Computer Science, looks back on two and a half years in office and takes stock. In this interview, he talks about the highlights of his job and how teaching has changed at D-INFK.

The foundations for internet communication were laid down in the previous century and have undergone very little modernisation since. With their spin-off Anapaya Systems, Adrian Perrig, David Basin and Peter Müller, professors at the ETH Zurich Department of Computer Science, want to bring the internet into the 21st century and make it a secure and reliable means of communication.

Postdoctoral researcher Alex Summers of Prof. Peter Müller's Chair of Programming Methodology has received the junior AITO Dahl-​Nygaard Prize for his work on the verification of object-​oriented programs and type systems. In the interview, he talks about computer science and his passion for it.