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:
- 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 |
|---|---|---|
| Nodar Ambroladze | M.Sc. | Software engineer at Google |
| Roman Angehrn | M.Sc. | |
| Aurélia Autem | M.Sc. | |
| Mislav Balunovic | M.Sc. | ETH Medal for outstanding Master's thesis, PhD student @ SRI |
| 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. | Willi Studer Prize for best Master's degree in computer science, PhD student @ SRI |
| Pavol Bielik | M.Sc. | PhD student @ SRI |
| 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. | |
| Franziska Eckert | M.Sc. | project intern @SRI |
| 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. | ETH Medal for outstanding Master's thesis, PhD student @ SRI |
| Lavrentios Frobeen | M.Sc. | Senior Software Engineer at Northflank Ltd |
| Timon Gehr | M.Sc. | ETH Medals for outstanding Master thesis and Dissertation, Post-Doc @ SRI |
| 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 |
| 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 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 |
| 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. | ETH Medal for outstanding Master's thesisPhD student @ SRI |
| Anton Permenev | M.Sc. | Blockchain security engineer at ChainSecurity |
| Attila Printz | B.Sc. | Principal BI Engineer at Vistaprint |
| Axel Pohl | B.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 |
| Jiacheng Shen | M.Sc. | |
| Christopher Signer | M.Sc. | |
| Gagandeep Singh | M.Sc. | ETH Medal for best Master thesis, PhD student @ SRI |
| Gishor Sivanrupan | M.Sc. | at DeepCode |
| Christian Sprecher | M.Sc. | ETH Medal for outstanding Master's thesis |
| Robin Staab | B.Sc. | Project intern @ SRI Lab |
| Steven Stalder | B.Sc. | M.Sc. Student at ETH |
| Samuel Steffen | M.Sc. | Willi Studer Prize for best Master's degree in computer science, PhD student @ SRI |
| 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 |
| Frederic Vogel | M.Sc. | |
| Nikolas Volken | 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. |