D-INFK news channel

For his thesis “A Programming Language Approach to Smart Contract Privacy”, former doctoral student Dr Samuel Steffen received the prestigious ACM SIGSAC Doctoral Dissertation Runner-Up Award. Congratulations!

At this year’s ACM Conference on Computer and Communications Security (CCS), doctoral student Jingxuan He was awarded the Distinguished Paper Award for his paper titled “Large Language Models for Code: Security Hardening and Adversarial Testing”. Congratulations!

Luca Beurer-Kellner, Marc Fischer and Prof. Martin Vechev created a new open-source platform and programming language called LMQL that make it easier, cheaper, and safer to interact with large language models like ChatGPT.

ETH Professor Martin Vechev and his team won first place in phase 3: red teaming in global AI Privacy Prize Challenge. The competition inspired innovators on both sides of the Atlantic to build solutions that enable collaborative development of artificial intelligence (AI) models, while keeping sensitive information private.

Three teams of researchers from the Department of Computer Science have received awards at the ACM Computer and Communications Security Conference (CCS), one of the top conferences in the field of security.

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

Professor Otmar Hilliges from the Institute for Intelligent Interactive Systems and Professor Martin Vechev from the Institute for Programming Languages and Systems receive ERC Consolidator Grants for their respective research projects. The mid-career award is given to outstanding researchers with highly promising scientific track records. Congratulations!

For a long time, the development of quantum computers was concerned with theoretical and hardware aspects. But as the focus shifts towards programming, software and security issues, the classical computer sciences are coming back into play.

Gagandeep Singh, former doctoral student at the Department of Computer Science at ETH Zurich, received the 2021 ACM SIGPLAN Dissertation Award for his work on building safe and robust AI systems. Congratulations!

In this interview with the European Research Council, Professor Martin Vechev of the Secure, Reliable, and Intelligent Systems Lab talks about his ERC-funded work, AI breakthroughs, and Europe’s future in the field of AI.

The ETH researchers behind the spin-off LatticeFlow, among them Petar Tsankov, Pavol Bielik, Martin Vechev and Andreas Krause from our department, are aiming to facilitate a new generation of trustworthy AI.

Michael Rabinovich and Dimitar K. Dimitrov, two doctoral students from the Department of Computer Science, have won the ETH Medal for their outstanding doctoral theses.

DeepCode, a spin-​off of the Secure, Reliable and Intelligent Systems Lab that built the first AI platform for code, is to be acquired by Snyk, a world leader in developer-​first security code analysis.

A team of researchers around Prof. Martin Vechev has developed Silq, the first high-level programming language for quantum computers.

Three Master's graduates from the Department of Computer Science have won the ETH Medal for their outstanding Master's theses. Many congratulations!

The team from ChainSecurity AG, an ETH spin-off from the Department of Computer Science, joined PricewaterhouseCoopers (PwC) Switzerland to further accelerate market growth and product development.

This year's ACM SIGPLAN Robin Milner Young Researcher Award goes to Prof. Martin Vechev for his contributions in the area of programming languages.

Timon Gehr from the Secure, Reliable, and Intelligent Systems Lab (SRI) has received the 2019 IBM PhD Fellowship Award.

Congratulations to Dr. Petar Tsankov for winning the John Atanasoff President's Award in Bulgaria for outstanding contributions to technology and science by a Bulgarian scientist under 35.

In June 2018, the start-​up ChainSecurity released Securify, a novel tool that enables an easier and more thorough scanning process for smart contracts in the Ethereum ecosystem. Dr Petar Tsankov, chief scientist at ChainSecurity and research scientist at ETH Secure, Reliable, and Intelligent Systems Lab at the Department of Computer Science, gives an insight into the novel technology and its benefits.

Dana Drachsler Cohen is an outstanding IT specialist at ETH Zurich. The Israeli researcher is working on the security of systems such as autonomous vehicles and cryptocurrencies.

Associate professor Martin Vechev leads the Secure, Reliable, and Intelligent Systems Lab. His research areas include concurrency, program analysis and synthesis as well as the application of machine learning to programming languages.

D-INFK Professor Martin Vechev is automating the computer programming process: he is one of the first researchers ever to teach computers how to write their own software. This makes him one of the founders of a new field of research that is growing rapidly.

In his thesis "Learning from Large Codebases", Raychev creates programming tools based on probabilistic models of code that can solve tasks beyond the reach of current methods.

Software reliability, piracy and tampering are serious and well known threats the world is faced with. Significant attempts have been made to protect software from reverse engineering and tampering. Last week, the Software Reliability Lab at ETH Zurich, headed by Prof. Martin Vechev, released a system called JSNice which makes obfuscated and minified JavaScript code readable again. The system has already been used by more than 34,000 developers in over 140 countries.

Prof. Martin Vechev, an outstanding young researcher in the area of software engineering, will commence teaching at the Department of Computer Science in the Spring Semester 2012 as a new Assistant Profesor. (German)