D-INFK News Channel
Alle Geschichten mit dem Stichwort Programming Methodology Group
Ein digitales Emblem für das Rote Kreuz
Das Internationale Komitee vom Roten Kreuz will ein digitales Zeichen schaffen, um Computersysteme von medizinischen und humanitären Organisationen zu kennzeichnen und vor Cyberangriffen zu schützen. Das Center for Cyber Trust, dem drei Forschungsgruppen des Departements Informatik angehören, entwickelt die notwendigen Technologien.
Vier Doktorierende erhalten ETH-Medaillen
Vier Doktorierende am Departement Informatik haben für ihre ausgezeichneten Doktorarbeiten ETH-Medaillen erhalten. Wir gratulieren Marco Eilers, Timon Gehr, Yifan Wang und Gaspard Zoss!
Peter Müller erhält Amazon Research Award
Professor Peter Müller, Leiter der Programming Methodology Group, erhält den prestigeträchtigen Amazon Research Award für seine wertvollen Beiträge auf dem Gebiet des Automated Reasoning.
ETH-Medaillen und Willi-Studer-Preis für Masterabsolventen
Vier Master-Absolventen des Departements Informatik haben für ihre herausragenden Master-Arbeiten und Noten Preise gewonnen: drei ETH-Medaillen und einen Willi-Studer-Preis. Herzlichen Glückwunsch!
Donation der Werner Siemens-Stiftung für Forschungsprojekt am «Zentrum für Digitales Vertrauen»
Eine Donation der Werner Siemens-Stiftung unterstützt ETH-Forschende bei der Entwicklung einer fundamental neuen Sicherheitsarchitektur – zur Ermöglichung eines vertrauenvollen Datenaustauschs.
«Forschung und Lehre befruchten sich gegenseitig»
Professor Peter Müller, der scheidende Studiendirektor des Departements Informatik, blickt auf zweieinhalb Amtsjahre zurück und zieht Bilanz. Im Interview spricht er über die Highlights seiner Arbeit und die Veränderung der Lehre am D-INFK.
Sicheres Internet ist keine Fiktion
Das Fundament der Internetkommunikation wurde im letzten Jahrhundert aufgebaut und seither kaum erneuert. Mit ihrem Spin-off Anapaya Systems wollen Adrian Perrig, David Basin und Peter Müller, Professoren am Departement Informatik der ETH Zürich, das Internet ins 21. Jahrhundert bringen und zu einem sicheren und zuverlässigen Kommunikationsmittel machen.
Alex Summers gewinnt den 2015 AITO Dahl-Nygaard-Preis
Postdoktorand Alex Summers aus der Gruppe von Prof. Peter Müller hat für seine Arbeit an der Verifikation von objektorientierten Programmen und Typisierungen den Junior AITO Dahl-Nygaard-Preis erhalten. Im Interview spricht er über seine Leidenschaft für die Informatik. (Englisch)