D-INFK News Channel

Ralf Jungs Arbeit über das Iris-Logik-Framework wird mit dem 2023 Alonzo Church Award for Outstanding Contributions to Logic and Computation ausgezeichnet. Herzlichen Glückwunsch!

Torsten Hoefler, Marc Pollefeys und Zhendong Su, Professoren am Departement Informatik, wurden zu ACM Fellows ernannt. Die Auszeichnung würdigt die umfangreichen Forschungsbeiträge in ihren jeweiligen Fachgebieten. Herzlichen Glückwunsch!

Drei Teams von Foschenden des Departements Informatik haben an der ACM Computer and Communications Security Conference (CCS) Preise bekommen. Die ACM CCS ist eine der wichtigsten Konferenzen im Sicherheitsbereich.

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 am Departement Informatik haben für ihre ausgezeichneten Doktorarbeiten ETH-Medaillen erhalten. Wir gratulieren Marco Eilers, Timon Gehr, Yifan Wang und Gaspard Zoss!

Ralf Jung ist seit November 2022 als Tenure-Track-Assistenzprofessor für Informatik am Departement Informatik der ETH Zürich tätig. In diesem kurzen Interview stellt er sich vor.

Professor Zhendong Su und sein Doktorand Shaohua Li wurden für ihren Projektvorschlag zum Thema "Solidifying sanitizer implementations via automated testing" mit dem Meta Security Research Award 2022 ausgezeichnet. Herzlichen Glückwunsch!

Zusammen mit seinen Gruppenmitgliedern Dominik Winterer und Chengyu Zhang hat Professor Zhendong Su den angesehenen Amazon Research Award für ein Projekt im Bereich des Automated Reasoning erhalten.

Professor Zhendong Su erhält den prestigeträchtigen ICSE Most Influential Paper Award für die Arbeit "On the Naturalness of Software". Das Paper entstand aus einer Zusammenarbeit mit ehemaligen Studierenden und Kollegen an der UC Davis.

Professor Otmar Hilliges vom Institute for Intelligent Interactive Systems und Professor Martin Vechev vom Institute for Programming Languages and Systems erhalten einen ERC Consolidator Grant für ihre jeweiligen Forschungsprojekte. Der Mid-Career Award wird an herausragende Forschende mit vielversprechenden wissenschaftlichen Leistungen verliehen. Herzlichen Glückwunsch!  

Theodoros Theodoridis, Doktorand im Advanced Software Technologies Lab, hat an der Konferenz ASPLOS 2022 zwei Preise gewonnen.

Lange prägten Theorie und Hardware die Entwicklung der Quantencomputer. Nun rücken zunehmend Fragen der Programmierung, Software und Sicherheit in den Vordergrund.

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.

Gagandeep Singh, ehemaliger Doktorand am Departement Informatik der ETH Zürich, erhält den 2021 ACM SIGPLAN Dissertation Award für seine Arbeit zum Aufbau von sicheren und soliden KI Systemen. Herzlichen Glückwunsch!

Professor Zhendong Su ist neu Mitglied der Academia Europaea, eine paneuropäische Akademie der Geisteswissenschaften, des Schrifttums, der Rechtswissenschaften und der Naturwissenschaften. Herzlichen Glückwunsch!

In diesem Interview mit dem Europäischen Forschungsrat (ERC) spricht Professor Martin Vechev vom Secure, Reliable, and Intelligent Systems Lab über seine ERC-finanzierte Forschung, Durchbrüche bei der künstlichen Intelligenz und Europas Zukunft im KI-Feld. (Englisch)

Die Forscher hinter LatticeFlow, Petar Tsankov, Pavol Bielik, Martin Vechev und Andreas Krause von unserem Departement, wollen mit der Investition eine neue Generation vertrauenswürdiger KI ermöglichen.

Michael Rabinovich und Dimitar K. Dimitrov, zwei Doktoranden vom Departement Informatik, wurden für ihre hervorragenden Doktorarbeiten mit der ETH-Medaille ausgezeichnet.

Dr. Manuel Rigger und Professor Zhendong Su vom Advanced Software Technologies Lab haben SQLancer entwickelt, ein Tool zur Erkennung von logischen Fehlern in Datenbanksystemen.

Der ETH-Spin-off DeepCode hat die erste KI-Plattform für Codes gebaut. Nun wird er von Snyk übernommen, einem weltweit führenden Unternehmen für Code-Sicherheitsanalyse.

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!

Ein Team von Forschenden rund um Prof. Martin Vechev hat mit Silq die erste höhere Programmiersprache für Quantencomputer entwickelt. 

Herzliche Gratulation an Andisheh Amrollahi (Prof. Krause), Mislav Balunovic (Prof. Vechev) und David Lanzenberger (Prof. Maurer) für ihre ausgezeichneten Arbeiten. (Englisch)

Wir gratulieren Professor Markus Püschel zu dieser besonderen Auszeichnung. Professor Püschel wird für seine wertvollen Beiträge im Bereich der Umsetzung von Signalverarbeitungstechniken geehrt. (Englisch)

Eine Donation der Werner Siemens-​Stiftung unterstützt ETH-Forschende bei der Entwicklung einer fundamental neuen Sicherheitsarchitektur – zur Ermöglichung eines vertrauenvollen Datenaustauschs.

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.

Der ACM SIGPLAN Robin Milner Young Researcher Award 2019 geht an Prof. Martin Vechev für seine Forschung im Bereich der Programmiersprachen. (Englisch)

Herzlichen Glückwunsch an Timon Gehr vom Secure, Reliable, and Intelligent Systems Lab (SRI) zum 2019 IBM PhD Fellowship Award. (Englisch)

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.

ETH, EPFL und Microsoft bauen ihre äusserst erfolgreiche Forschungszusammenarbeit aus, die seit ihrer Gründung im Jahr 2013 unter dem Namen Swiss Joint Research Center bekannt ist. Die für die kommende dritte Forschungsphase ausgewählten Projekte werden Anfang 2019 bekannt gegeben. Die Forschungsgruppen arbeiten an der ETH in Zürich und an der EPF in Lausanne.

Dr. Petar Tsankov hat den John Atanasoff President's Award erhalten, welcher an bulgarische Wissenschaftler unter 35 verliehen wird, die herausragenden Beiträge zu Technologie und Wissenschaft leisten. (Englisch)

Start-up ChainSecurity (Prof. Vechev, Dr. Tsankov) veröffentlicht Securify, ein neues Tool, das Smarte Verträge einfacher und zuverlässiger scannen kann. (Englisch)

Dana Drachsler Cohen ist eine der herausragenden Informatikerinnen an der ETH Zürich. Die Israelin arbeitet an der Sicherheit von Systemen wie selbstfahrenden Autos oder Kryptowährungen.

Ausserordentlicher Professor Martin Vechev leitet das Secure, Reliable, and Intelligent Systems Lab. Zu seinen Forschungsbereichen zählen Parallelität, Programmanalyse und -synthese sowie die Anwendung von maschinellem Lernen auf Programmiersprachen. (Englisch)

D-INFK-​Professor Martin Vechev automatisiert das Programmieren. Als einer der weltweit ersten Wissenschaftler bringt er Computer dazu, Software selbst zu schreiben. Er gehört zu den Begründern eines neuen Forschungsfeldes, das heute rasant wächst.

In seiner Doktorarbeit «Learning from Large Codebases» kreiert Raychev Programmierwerkzeuge, die auf probabilistischen Codemodellen basieren. (Englisch)

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)

Software-Zuverlässigkeit, -Piraterie und -Manipulation sind ernsthafte und wohlbekannte Bedrohungen. Letzte Woche hat das Software Reliability Lab der ETH Zürich unter der Leitung von Prof. Martin Vechev ein System namens JSNice veröffentlicht, das verschleierten und minifizierten JavaScript-Code wieder lesbar macht. Das System wurde bereits von mehr als 34 000 Entwicklern in über 140 Ländern genutzt. (Englisch)

Die ETH Zürich und die ETH Lausanne gehen eine neue Forschungskooperation mit Microsoft Research ein. Microsoft Research unterstützt Informatikprojekte der beiden Hochschulen mit fünf Millionen Schweizer Franken. Forschende des Technologiekonzerns sollen eng mit Wissenschaftlern der ETH und der EPFL zusammenarbeiten.

Prof. Martin Vechev, ein herausragender Nachwuchswissenschaftler im Bereich Software Engineering, wird ab dem Frühjahrsemester 2012 als neuer Assistenzprofessor mit dem Lehrbetrieb am Departement Informatik beginnen.