D-INFK news channel

Ralf Jung’s work on the Iris logic framework is awarded the 2023 Alonzo Church Award for Outstanding Contributions to Logic and Computation. Congratulations!

Torsten Hoefler, Marc Pollefeys and Zhendong Su, professors at the Department of Computer Science, have been named ACM Fellows. The distinction recognises the extensive research contributions in their respective fields. Congratulations!

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.

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!

Ralf Jung joined the Department of Computer Science at ETH Zurich in November 2022 as a Tenure Track Assistant Professor of Computer Science. Get to know him in this short interview.

Professor Zhendong Su and his doctoral student Shaohua Li have been awarded a 2022 Meta Security Research Award for their project proposal on “Solidifying sanitizer implementations via automated testing”. Congratulations!

Professor Zhendong Su, along with his group members Dominik Winterer and Chengyu Zhang, has received the prestigious Amazon Research Award for their work in the field of automated reasoning.

Professor Zhendong Su is awarded the prestigious ICSE Most Influential Paper Award for the paper "On the Naturalness of Software". The paper emerged from a collaboration with former students and colleagues at UC Davis.

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!

Theodoros Theodoridis, doctoral student in the Advanced Software Technologies Lab, has won two awards at the ASPLOS 2022 conference.

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.

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.

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.

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!

Professor Zhendong Su is now a member of the Academia Europaea, a pan-European Academy of Humanities, Letters, Law, and Sciences. 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.

Dr. Manuel Rigger and Professor Zhendong Su from the Advanced Software Technologies Lab have developed SQLancer, a tool to automatically detect logic errors in database systems.

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.

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 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!

We are proud to announce that Professor Markus Püschel has been named an IEEE Fellow. He is being recognised for contributions to the implementation of signal processing techniques.

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.

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.

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.

ETH, EPFL and Microsoft are extending their highly successful research collaboration, which has been known as the Swiss Joint Research Center since its inception in 2013. The projects selected for the upcoming third research phase will be announced at the beginning of 2019. The research groups work at the ETH in Zurich and at the EPF in Lausanne.

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.

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.

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.

ETH Zurich and EPFL are jointly entering into a new research partnership with Microsoft Research. Over five years, Microsoft Research will provide five million Swiss francs of funding to support IT research projects. Microsoft researchers will also work closely with the scientists at the two universities.

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)