Do you want to conduct research at the intersection of theory and practice and build state-of-the-art systems? Our lab offers interesting Master thesis projects in a number of active areas of research:
- Safe and interpretable artificial intelligence
- Machine learning for programming
- Blockchain security
- Programmable networks
- Quantum programming
We encourage students towards real-world impact. A number of systems built in our lab, some as M.Sc. thesis, are released as open-source projects which are widely used in industry and academia. See our GitHub page for details.
Awards and medals
A number of students who have completed their Master theses at our lab have won ETH medals and best thesis awards:
- Robin Staab, Best ETH Master's degree in Computer Science 2023
- Franziska Eckert, ETH Medal for outstanding Master thesis 2023
- Anouk Paradis, ETH Medal for outstanding Master thesis 2021
- Christian Sprecher, ETH Medal for outstanding Master thesis 2021
- Mislav Balunović, ETH Medal for outstanding Master thesis 2020
- Marc Fischer, ETH Medal for outstanding Master thesis 2019
- Samuel Steffen, Best ETH Master's degree in Computer Science 2019
- Benjamin Bichsel, Best ETH Master's degree in Computer Science 2018
- Cyril Steimer, ETH Medal for outstanding Master thesis 2016
- Timon Gehr, ETH Medal for outstanding Master thesis 2015
- Gagandeep Singh, ETH Medal for outstanding Master thesis 2014
Thesis at our spin-offs
Master students also have the opportunity to do their theses at our ETH spin-offs -- LatticeFlow, DeepCode, and ChainSecurity -- and contribute to building state-of-the-art products.To apply
To apply for a thesis, please contact Prof. Martin Vechev.Past B.Sc./M.Sc. Thesis Students
Name | Type | Position after thesis |
---|---|---|
Abra Ganz | M.Sc. | |
Johan Lokna | M.Sc. | |
Yuhao Mao | M.Sc. | PhD student @ SRI |
Niels Mündler | M.Sc. | |
Roman Angehrn | M.Sc. | |
Franziska Eckert | M.Sc. | ![]() |
Gabriel Fringeli | M.Sc. | |
Martin Kucera | M.Sc. | |
Robin Staab | M.Sc. | ![]() |
Robert Szasz | M.Sc. | |
Jiacheng Shen | M.Sc. | |
Nikolas Volken | M.Sc. | |
Nodar Ambroladze | M.Sc. | Software engineer at Google |
Aurélia Autem | M.Sc. | |
Mislav Balunovic | M.Sc. | ![]() |
Simone Barbaro | M.Sc. | |
Cedric Baumann | M.Sc. | Software Engineer at Ergon |
Nick Baumann | M.Sc. | |
Roger Baumgartner | M.Sc. | |
Hüseyin Berabi | M.Sc. | at DeepCode |
Luca Beurer-Kellner | M.Sc. | PhD student @ SRI |
Benjamin Bichsel | M.Sc. | ![]() |
Pavol Bielik | M.Sc. | PhD student @ SRI |
Fabian Bosshard | M.Sc. | |
Tobias Brodmann | M.Sc. | |
Florian Buenzli | M.Sc. | Senior software engineer at Ubique |
Thomas Cambier | M.Sc. | |
Liangwei Chen | M.Sc. | |
Viktor Chibotaru | M.Sc. | Software engineer at DeepCode |
Rubin Deliallisi | M.Sc. | |
Pavle Djordjevic | M.Sc. | Software engineer at Bloomberg |
Fabian Dokic | M.Sc. | |
Florian Dorner | M.Sc. | |
Jan Eberhardt | M.Sc. | Software engineer at DeepCode |
Christian Fehlmann | B.Sc. | M.Sc. student at ETH |
Jonas Felber | M.Sc. | at Google |
Claudio Ferrari | M.Sc. | at BLP Digital |
Marc Fischer | M.Sc. | ![]() |
Lavrentios Frobeen | M.Sc. | Senior Software Engineer at Northflank Ltd |
Timon Gehr | M.Sc. | ![]() |
Mario Gersbach | M.Sc. | at Microsoft |
Rupanshu Ganvir | M.Sc. | |
Christiane Goltz | M.Sc. | at DeepCode |
Alexander Hägele | B.Sc. | |
Luc Haller | M.Sc. | at Google |
Jingxuan He | M.Sc. | PhD student @ SRI |
Jakob Heckelmann | M.Sc. | |
Carolin Hecking-Veltman | M.Sc. | |
Quentin Hibon | M.Sc. | Blockchain security engineer at ChainSecurity |
Adrian Hoffmann | B.Sc. | M.Sc. Student at ETH |
Miklós Horváth | M.Sc. | research engineer at DeepMind |
Felix Huber | M.Sc. | |
Petar M. Ivanov | M.Sc. | at ti&m Holding AG |
Nikola Jovanović | M.Sc. | PhD student @ SRI |
Tobias Kaiser | M.Sc. | Blockchain security engineer at ChainSecurity |
Johannes Kapfhammer | M.Sc. | intern @ DeepCode |
Alexey Kustov | M.Sc. | Junior Quant & Software Engineer at Crypto Broker AG |
Larissa Laich | M.Sc. | at Oculus |
Polena Lilyanova | M.Sc. | Software engineer at BlackRock |
Johan Lokna | M.Sc. | |
Tobias Lorenz | M.Sc. | PhD student at CISPA |
Aleksander Matusiak | M.Sc. | Software engineer at Google |
Jonathan Maurer | M.Sc. | |
Alexandra Maximova | M.Sc. | Software engineer at Google |
Yannick Merkli | M.Sc. | at LatticeFlow |
Jeremie Miserez | M.Sc. | Software engineer at Oracle labs |
Katja Möhring | M.Sc. | |
Ylli Muhadri | M.Sc. | M.Sc. student at ETH |
Benjamin Mularczyk | M.Sc. | Software engineer at DeepCode |
Mark Niklas Müller | project/Mobility student | PhD student @ SRI |
Viviane Onus | B.Sc. | M.Sc. Student at ETH |
Jibin Ou | M.Sc. | System Engineer at Volvo Cars |
Rumen Paletov | M.Sc. | Software engineer at Twitter |
Matteo Panzacchi | M.Sc. | Software engineer at Facebook |
Anouk Paradis | M.Sc. | ![]() |
Anton Permenev | M.Sc. | Blockchain security engineer at ChainSecurity |
Angéline Pouget | RCS student | |
Attila Printz | B.Sc. | Principal BI Engineer at Vistaprint |
Axel Pohl | B.Sc. | |
Wenjie Qiu | M.Sc. | |
Pascal Roos | B.Sc. | Software Engineer at flowable |
Anian Ruoss | M.Sc. | at DeepMind |
Wonryong Ryou | M.Sc. | Machine Learning Engineer at Quora |
Ioannis Sachinoglou | M.Sc. | at PwC |
Carlo Saladin | M.Sc. | |
Aleixo Sánchez | M.Sc. | at Web3 Foundation |
Prabhakaran Santhanam | M.Sc. | Researcher at D-MTEC, ETH Zurich |
Lukas Schär | M.Sc. | |
Philippe Schlattner | M.Sc. | at DeepCode |
Benjamin Schmid | M.Sc. | |
Samuel Schmid | M.Sc. | Software engineer at DeepCode |
Christopher Signer | M.Sc. | |
Gagandeep Singh | M.Sc. | ![]() |
Gishor Sivanrupan | M.Sc. | at DeepCode |
Christian Sprecher | M.Sc. | ![]() |
Steven Stalder | B.Sc. | M.Sc. Student at ETH |
Samuel Steffen | M.Sc. | ![]() |
Cyril Steimer | M.Sc. | Software engineer at Ergon Informati |
Wen-Chieh Tung | M.Sc. | at DeepCode |
Andrei Ursache | M.Sc. | at Google |
Tobias Verhulst | M.Sc. | at Palantir |
Mark Vero | M.Sc. | PhD student @ SRI |
Frederic Vogel | M.Sc. | |
Meet Vora | M.Sc. | |
Nils Weller | M.Sc. | Software engineer at ti&m |
Pascal Wiesmann | B.Sc. | M.Sc. student at ETH |
Chengyuan Yao | M.Sc. | at Google |
Christine Zeller | M.Sc. | at ELCA Informatik AG |
Mustafa Zeqiri | M.Sc. | |