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 | Institution | Type | Position after thesis |
|---|---|---|---|
| Jasper Dekoninck | ETH | M.Sc. | PhD student @ SRI |
| László Dirks | Snyk | M.Sc. | |
| Abra Ganz | ETH | M.Sc. | Researcher at Digital Ethics Center (DEC), Yale University |
| Tristan Girard | LatticeFlow | M.Sc. | Head Algorithms at mimicry AG |
| Johan Lokna | ETH | M.Sc. | Data Scientist at QuantCo |
| Yuhao Mao | ETH | M.Sc. | PhD student @ SRI |
| Niels Mündler | ETH | M.Sc. | |
| Robin Staab | ETH | M.Sc. | Willi Studer Prize for best Master's degree in computer science, PhD student @ SRI |
| Mark Vero | ETH | M.Sc. | PhD student @ SRI |
| Johannes Weidenfeller | LatticeFlow | M.Sc. | |
| Mengtao Zhang | LatticeFlow | M.Sc. | |
| Roman Angehrn | ETH | M.Sc. | Senior Data Scientist at Wüest Partner |
| Fabian Bosshard | LatticeFlow | M.Sc. | Maching Learning Engineer at LatticeFlow |
| Florian Dorner | ETH | M.Sc. | PhD student at Max-Planck-Institute Tübingen |
| Franziska Eckert | ETH | M.Sc. | ETH Medal for outstanding Master thesisData Scientist at Swiss National Bank SNB |
| Gabriel Fringeli | Snyk | M.Sc. | Software Engineer at Snyk |
| Martin Kucera | ETH | M.Sc. | Software Engineer at Google |
| Wenjie Qiu | LatticeFlow | M.Sc. | PhD student at Rutgers, CS Dept. |
| Jiacheng Shen | ETH | M.Sc. | at Tencent Keen Lab |
| Robert Szasz | ETH | M.Sc. | |
| Nikolas Volken | LatticeFlow | M.Sc. | Data Quality Intern at LatticeFlow |
| Mustafa Zeqiri | ETH | M.Sc. | Data Scientist Intern at Syngenta |
| Aurélia Autem | ETH | M.Sc. | DevOps Network Engineer at Pictet Group |
| Simone Barbaro | ETH | M.Sc. | Machine Learning Engineer at Oracle Labs |
| Liangwei Chen | LatticeFlow | M.Sc. | at Google Tokyo |
| Fabijan Dokic | Snyk | M.Sc. | Software Engineer at META |
| Claudio Ferrari | ETH | M.Sc. | at BLP Digital |
| Jakob Heckelmann | LatticeFlow | M.Sc. | Software Engineering Intern at Google |
| Carolin Hecking-Veltman | LatticeFlow | M.Sc. | Research Engineer (Computer Vision/Neural Rendering) at Synthesia | CDTM | TUM |
| Miklós Horváth | ETH | M.Sc. | research engineer at DeepMind |
| Felix Huber | Snyk | M.Sc. | |
| Nikola Jovanović | ETH | M.Sc. | PhD student @ SRI |
| Yannick Merkli | LatticeFlow | M.Sc. | Machine Learning Engineer at LatticeFlow |
| Katja Möhring | DeepCode | M.Sc. | Intern at Snyk -> Associate and IT Project Lead Boston Consulting Group (BCG) |
| Anian Ruoss | ETH | M.Sc. | at DeepMind |
| Roger Baumgartner | ETH | M.Sc. | |
| Hüseyin Berabi | DeepCode | M.Sc. | at DeepCode |
| Luca Beurer-Kellner | ETH | M.Sc. | PhD student @ SRI |
| Tobias Brodmann | ETH | M.Sc. | Software Engineer at Ergon Informatik AG |
| Alexander Hägele | ETH | B.Sc. | M.Sc. ETH |
| Johannes Kapfhammer | DeepCode | M.Sc. | intern @ DeepCode |
| Tobias Lorenz | ETH | M.Sc. | PhD student at CISPA |
| Mark Müller | ETH | M.Sc. | PhD student @ SRI |
| Anouk Paradis | ETH | M.Sc. | ETH Medal for outstanding Master's thesisPhD student @ SRI |
| Wonryong Ryou | LatticeFlow | M.Sc. | Machine Learning Engineer at Quora |
| Ioannis Sachinoglou | ETH | M.Sc. | at PwC |
| Aleixo Sánchez | ETH | M.Sc. | at Web3 Foundation |
| Lukas Schär | ETH | M.Sc. | Software Engineer at Adnovum |
| Benjamin Schmid | ETH | M.Sc. | Junior Software Engineer at Consor AG |
| Gishor Sivanrupan | DeepCode | M.Sc. | at DeepCode |
| Christian Sprecher | ETH | M.Sc. | ETH Medal for outstanding Master's thesis |
| Wen-Chieh Tung | DeepCode | M.Sc. | at DeepCode |
| Meet Vora | ETH | M.Sc. | Software Engineer at Google |
| Chengyuan Yao | ETH | M.Sc. | at Google |
| Nick Baumann | ETH | M.Sc. | Software Engineer at Ergon Informatik AG |
| Thomas Cambier | ETH | M.Sc. | |
| Rubin Deliallisi | DeepCode | M.Sc. | Software Engineer at Google |
| Dimitar I. Dimitrov | ETH | M.Sc. | PhD student @ SRI |
| Jonas Felber | ETH | M.Sc. | at Google |
| Rupanshu Ganvir | ETH | M.Sc. | Software Engineer at IMC Trading |
| Christiane Goltz | DeepCode | M.Sc. | at DeepCode |
| Luc Haller | DeepCode | M.Sc. | at Google |
| Petar M. Ivanov | ETH | M.Sc. | at ti&m Holding AG |
| Jonathan Maurer | ETH | M.Sc. | |
| Momchil Peychev | ETH | M.Sc. | PhD student @ SRI |
| Axel Pohl | ETH | B.Sc. | M.Sc. ETH -> Partner at Z22 Technologies AG |
| Carlo Saladin | ETH | M.Sc. | |
| Philippe Schlattner | ETH | M.Sc. | at DeepCode |
| Robin Staab | ETH | B.Sc. | MSc student @ SRI |
| Steven Stalder | ETH | B.Sc. | M.Sc. Student at ETH |
| Andrei Ursache | DeepCode | M.Sc. | at Google |
| Nodar Ambroladze | ETH | M.Sc. | Software engineer at Google |
| Mislav Balunovic | ETH | M.Sc. | ETH Medal for outstanding Master's thesisPhD student @ SRI |
| Viktor Chibotaru | DeepCode | M.Sc. | Software engineer at DeepCode |
| Jan Eberhardt | DeepCode | M.Sc. | Software engineer at DeepCode |
| Marc Fischer | ETH | M.Sc. | ETH Medal for outstanding Master's thesisPhD student @ SRI |
| Lavrentios Frobeen | ETH | M.Sc. | Senior Software Engineer at Northflank Ltd |
| Mario Gersbach | ETH | M.Sc. | Software Engineer II at Microsoft |
| Adrian Hoffmann | ETH | B.Sc. | M.Sc. Student at ETH |
| Jakub Kotal | ETH | B.Sc. | M.Sc. Student at ETH |
| Larissa Laich | ETH | M.Sc. | at Oculus |
| Polena Lilyanova | ETH | M.Sc. | Software engineer at BlackRock |
| Viviane Onus | ETH | B.Sc. | M.Sc. Student at ETH |
| Anton Permenev | ETH | M.Sc. | Blockchain security engineer at ChainSecurity |
| Samuel Schmid | DeepCode | M.Sc. | Software engineer at DeepCode |
| Christopher Signer | ETH | M.Sc. | |
| Tobias Verhulst | DeepCode | M.Sc. | at Palantir |
| Frederic Vogel | ETH | M.Sc. | Information Security Manager at Scandit |
| Nils Weller | ETH | M.Sc. | Software engineer at ti&m |
| Cedric Baumann | ETH | M.Sc. | Software Engineer at Ergon |
| Nick Baumann | ETH | B.Sc. | M.Sc. Student at ETH |
| Benjamin Bichsel | ETH | M.Sc. | Willi Studer Prize for best Master's degree in computer science, PhD student @ SRI |
| Florian Buenzli | ETH | M.Sc. | Senior software engineer at Ubique |
| Pavle Djordjevic | ETH | M.Sc. | Software engineer at Bloomberg |
| Jingxuan He | ETH | M.Sc. | PhD student @ SRI |
| Quentin Hibon | ETH | M.Sc. | Blockchain security engineer at ChainSecurity |
| Tobias Kaiser | ETH | M.Sc. | Blockchain security engineer at ChainSecurity |
| Johannes Kapfhammer | ETH | B.Sc. | M.Sc. @ SRI |
| Alexey Kustov | ETH | M.Sc. | Junior Quant & Software Engineer at Crypto Broker AG |
| Aleksander Matusiak | DeepCode | M.Sc. | Software engineer at Google |
| Ylli Muhadri | ETH | B.Sc. | M.Sc. student at ETH |
| Rumen Paletov | ETH | M.Sc. | Software engineer at Twitter |
| Prabhakaran Santhanam | ETH | M.Sc. | Researcher at D-MTEC, ETH Zurich |
| Samuel Steffen | ETH | M.Sc. | Willi Studer Prize for best Master's degree in computer science, PhD student @ SRI |
| Alexandra Maximova | ETH | M.Sc. | Software engineer at Google |
| Benjamin Mularczyk | ETH | M.Sc. | Software engineer at DeepCode |
| Matteo Panzacchi | ETH | M.Sc. | Software engineer at Facebook |
| Cyril Steimer | ETH | M.Sc. | Software engineer at Ergon Informati |
| Pascal Wiesmann | ETH | B.Sc. | M.Sc. student at ETH |
| Benjamin Bichsel | ETH | B.Sc. | M.Sc. student at ETH |
| Christian Fehlmann | ETH | B.Sc. | M.Sc. student at ETH |
| Andreas Furrer | ETH | B.Sc. | |
| Attila Printz | ETH | B.Sc. | Principal BI Engineer at Vistaprint |
| Pavol Bielik | ETH | M.Sc. | PhD student @ SRI |
| Timon Gehr | ETH | M.Sc. | ETH Medal for outstanding Master thesis, PhD student @ SRI |
| Gagandeep Singh | ETH | M.Sc. | ETH Medal for best Master thesis, PhD student @ SRI |
| Jeremie Miserez | ETH | M.Sc. | Software engineer at Oracle labs |
| Jibin Ou | ETH | M.Sc. | System Engineer at Volvo Cars |
| Pascal Roos | ETH | B.Sc. | Software Engineer at flowable |
| Christine Zeller | ETH | M.Sc. | at ELCA Informatik AG |