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:
Technically, these topics span the area of automated reasoning and verification, program synthesis, security, and machine learning. Each of these directions contains a number of different topics and we maintain an active list of potential theses (which changes frequently, as to reflect the latest state-of-the-art developments in research).
Many of the Master theses have been been published at top academic conferences in the areas of programming languages, security, and machine learning (e.g., CCS, PLDI, ICML, NeurIPS).
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 |
Abra Ganz | ETH | M.Sc. | |
Tristan Girard | LatticeFlow | M.Sc. | |
Johan Lokna | ETH | M.Sc. | |
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. | |
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 thesisproject intern @ SRI |
Gabriel Fringeli | Snyk | M.Sc. | Software Engineer at Snyk |
Martin Kucera | ETH | M.Sc. | Software Engineer at Google |
Wenjie Qiu | ETH | M.Sc. | |
Jiacheng Shen | ETH | M.Sc. | at Tencent Keen Lab |
Robert Szasz | ETH | M.Sc. | |
Nikolas Volken | ETH | 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 |
Fabian Dokic | ETH | M.Sc. | |
Claudio Ferrari | ETH | M.Sc. | at BLP Digital |
Jakob Heckelmann | ETH | 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 | ETH | M.Sc. | |
Nikola Jovanović | ETH | M.Sc. | PhD student @ SRI |
Yannick Merkli | LatticeFlow | M.Sc. | Machine Learning Engineer at LatticeFlow |
Katja Möhring | ETH | M.Sc. | |
Anian Ruoss | ETH | M.Sc. | at DeepMind |
Roger Baumgartner | ETH | M.Sc. | |
Hüseyin Berabi | ETH | M.Sc. | at DeepCode |
Luca Beurer-Kellner | ETH | M.Sc. | PhD student @ SRI |
Tobias Brodmann | ETH | M.Sc. | |
Alexander Hägele | ETH | B.Sc. | |
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 | ETH | 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. | |
Gishor Sivanrupan | DeepCode | M.Sc. | at DeepCode |
Christian Sprecher | ETH | M.Sc. | ETH Medal for outstanding Master's thesis |
Wen-Chieh Tung | ETH | M.Sc. | at DeepCode |
Meet Vora | ETH | M.Sc. | |
Chengyuan Yao | ETH | M.Sc. | at Google |
Nick Baumann | ETH | M.Sc. | |
Rubin Deliallisi | ETH | M.Sc. | |
Thomas Cambier | ETH | M.Sc. | |
Dimitar I. Dimitrov | ETH | M.Sc. | PhD student @ SRI |
Jonas Felber | ETH | M.Sc. | at Google |
Rupanshu Ganvir | ETH | M.Sc. | |
Christiane Goltz | ETH | M.Sc. | at DeepCode |
Luc Haller | ETH | 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. | |
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 | ETH | 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 | ETH | M.Sc. | Software engineer at DeepCode |
Jan Eberhardt | ETH | 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. | 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 | ETH | M.Sc. | Software engineer at DeepCode |
Christopher Signer | ETH | M.Sc. | |
Tobias Verhulst | ETH | M.Sc. | at Palantir |
Frederic Vogel | ETH | M.Sc. | |
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 |
Thomas Cambier | ETH | M.Sc. | |
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 | ETH | M.Sc. | Software engineer at Google |
Ylli Muhadri | ETH | M.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 |
Christian Fehlmann | ETH | B.Sc. | M.Sc. student at ETH |
Timon Gehr | ETH | M.Sc. | ETH Medal for outstanding Master thesis, PhD student @ SRI |
Pavol Bielik | ETH | M.Sc. | PhD student @ SRI |
Attila Printz | ETH | B.Sc. | Principal BI Engineer at Vistaprint |
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 |
| | |