D-INFK News Channel

Für seine Dissertation "A Programming Language Approach to Smart Contract Privacy" erhielt der ehemalige Doktorand Dr. Samuel Steffen den prestigeträchtigen ACM SIGSAC Doctoral Dissertation Runner-Up Award. Herzlichen Glückwunsch!

Auf der diesjährigen ACM Conference on Computer and Communications Security (CCS) wurde der Doktorand Jingxuan He mit dem Distinguished Paper Award für seine Arbeit mit dem Titel "Large Language Models for Code: Security Hardening and Adversarial Testing" geehrt. Herzlichen Glückwunsch!

Luca Beurer-Kellner, Marc Fischer und Prof. Martin Vechev haben eine neue Open-Source-Plattform und Programmiersprache (LMQL) entwickelt, die die Interaktion mit großen Sprachmodellen wie ChatGPT einfacher, billiger und sicherer macht.

Professor Martin Vechev und sein Team haben den ersten Platz in Phase 3: Red Teaming in globaler AI Privacy Prize Challenge gewonnen. Der Wettbewerb regte Forschende auf beiden Seiten des Atlantiks dazu an, Lösungen zu entwickeln, die die gemeinsame Entwicklung von Modellen der künstlichen Intelligenz ermöglichen und gleichzeitig sensible Informationen geheim halten.

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.

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!

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!  

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

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!

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.

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.

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)

Um Marktwachstum und Produktentwicklung voranzutreiben, hat sich das ETH Spin-​Off ChainSecurity mit PricewaterhouseCoopers Schweiz zusammengetan. (Englisch)

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)

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)

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)

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.