Awards & Grants
Top honours for TI researchers

The Institute of Theoretical Computer Science at ETH Zurich is delighted to announce that four of its researchers have recently received some of the most prestigious distinctions in the field. These honours are widely recognised as major milestones in an academic career.
Test of Time Award for Peter Müller

Professor Peter Müller and his co-author have been awarded the prestigious ETAPS Test of Time Award for their paper “A Basis for Verifying Multi-threaded Programs”. The ETAPS Test of Time Award has been established to recognise outstanding papers published more than 10 years ago. Congratulations!
Ana Klimovic wins EuroSys Jochen Liedtke Young Researcher Award

Professor Ana Klimovic, who leads the Efficient Architectures and Systems Lab at ETH Zurich, has been honoured with the prestigious EuroSys Jochen Liedtke Young Researcher Award. The award was created in 2014 by ACM EuroSys to reward junior European researchers who have demonstrated exceptional creativity and innovation in systems research. Congratulations!
Apple scholarship for Haofei Xu

Haofei Xu, doctoral student in the Computer Vision and Geometry Group of Prof. Marc Pollefeys, is among the 2025 recipients of the Apple Scholars in AIML PhD fellowship. The Apple Scholars in AIML PhD fellowship programme supports emerging leaders in academic research. Congratulations!
Super-fast computers for AI: Torsten Hoefler awarded prestigious ACM Prize

Torsten Hoefler wins the prestigious ACM Prize in Computing for his pioneering work in high-performance computing. The fact that supercomputers have become so powerful that AI models can be trained very quickly with very large volumes of data is partly down to his research.