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:
  • 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

NameTypePosition after thesis
Nodar AmbroladzeM.Sc.Software engineer at Google
Aurélia AutemM.Sc.
Mislav BalunovicM.Sc. ETH Medal for outstanding Master's thesis, PhD student @ SRI
Simone BarbaroM.Sc.
Cedric BaumannM.Sc.Software Engineer at Ergon
Nick BaumannM.Sc.
Roger BaumgartnerM.Sc.
Hüseyin BerabiM.Sc.at DeepCode
Luca Beurer-KellnerM.Sc.PhD student @ SRI
Benjamin BichselM.Sc. Willi Studer Prize for best Master's degree in computer science, PhD student @ SRI
Pavol BielikM.Sc.PhD student @ SRI
Tobias BrodmannM.Sc.
Florian BuenzliM.Sc.Senior software engineer at Ubique
Thomas CambierM.Sc.
Liangwei ChenM.Sc.
Viktor ChibotaruM.Sc.Software engineer at DeepCode
Rubin DeliallisiM.Sc.
Fabian DokicM.Sc.
Pavle DjordjevicM.Sc.Software engineer at Bloomberg
Jan EberhardtM.Sc.Software engineer at DeepCode
Christian FehlmannB.Sc.M.Sc. student at ETH
Jonas FelberM.Sc.at Google
Claudio FerrariM.Sc.at BLP Digital
Andrei UrsacheM.Sc.at Google
Steven StalderB.Sc.M.Sc. Student at ETH
Mario GersbachM.Sc.at Microsoft
Frobeen LavrentiosM.Sc.Senior Software Engineer at Northflank Ltd
Larissa LaichM.Sc.at Oculus
Frederic VogelM.Sc.
Mislav BalunovićM.Sc. ETH Medal for outstanding Master's thesis, PhD student @ SRI
Carlo SaladinM.Sc.
Tobias VerhulstM.Sc.at Palantir
Viviane OnusB.Sc.M.Sc. Student at ETH
Marc FischerM.Sc. ETH Medal for outstanding Master's thesis, PhD student @ SRI
Lavrentios Frobeen M.Sc.Senior Software Engineer at Northflank Ltd
Timon GehrM.Sc. ETH Medal for outstanding Master thesis, PhD student @ SRI
Mario GersbachM.Sc.at Microsoft
Rupanshu GanvirM.Sc.
Christiane GoltzM.Sc.at DeepCode
Alexander HägeleB.Sc.
Luc HallerM.Sc.at Google
Jingxuan HeM.Sc.PhD student @ SRI
Carolin Hecking-VeltmanM.Sc.
Quentin HibonM.Sc.Blockchain security engineer at ChainSecurity
Adrian HoffmannB.Sc.M.Sc. Student at ETH
Felix HuberM.Sc.
Petar IvanovM.Sc.at ti&m Holding AG
Nikola JovanovićM.Sc.PhD student @ SRI
Tobias KaiserM.Sc.Blockchain security engineer at ChainSecurity
Johannes KapfhammerM.Sc.intern @ DeepCode
Alexey KustovM.Sc.Junior Quant & Software Engineer at Crypto Broker AG
Larissa LaichM.Sc.at Oculus
Polena LilyanovaM.Sc.Software engineer at BlackRock
Tobias LorenzM.Sc.PhD student at CISPA
Aleksander MatusiakM.Sc.Software engineer at Google
Jonathan MaurerM.Sc.
Alexandra MaximovaM.Sc.Software engineer at Google
Yannick MerkliM.Sc.at LatticeFlow
Jeremie MiserezM.Sc.Software engineer at Oracle labs
Katja MöhringM.Sc.
Ylli MuhadriM.Sc.M.Sc. student at ETH
Benjamin MularczykM.Sc.Software engineer at DeepCode
Mark Niklas Müllerproject/Mobility studentPhD student @ SRI
Viviane OnusB.Sc.M.Sc. Student at ETH
Jibin OuM.Sc.System Engineer at Volvo Cars
Rumen PaletovM.Sc.Software engineer at Twitter
Matteo PanzacchiM.Sc.Software engineer at Facebook
Anouk ParadisM.Sc. ETH Medal for outstanding Master's thesis
PhD student @ SRI
Anton PermenevM.Sc.Blockchain security engineer at ChainSecurity
Attila PrintzB.Sc.Principal BI Engineer at Vistaprint
Axel PohlB.Sc.
Pascal RoosB.Sc.Software Engineer at flowable
Anian RuossM.Sc.at DeepMind
Wonryong RyouM.Sc.Machine Learning Engineer at Quora
Ioannis SachinoglouM.Sc.at PwC
Carlo SaladinM.Sc.
Aleixo SánchezM.Sc.at Web3 Foundation
Prabhakaran SanthanamM.Sc.Researcher at D-MTEC, ETH Zurich
Lukas SchärM.Sc.
Philippe SchlattnerM.Sc.at DeepCode
Benjamin SchmidM.Sc.
Samuel SchmidM.Sc.Software engineer at DeepCode
Christopher SignerM.Sc.
Gagandeep SinghM.Sc. ETH Medal for best Master thesis, PhD student @ SRI
Gishor SivanrupanM.Sc.at DeepCode
Christian SprecherM.Sc. ETH Medal for outstanding Master's thesis
Robin StaabB.Sc.M.Sc. Student at ETH
Steven StalderB.Sc.M.Sc. Student at ETH
Samuel SteffenM.Sc. Willi Studer Prize for best Master's degree in computer science, PhD student @ SRI
Cyril SteimerM.Sc.Software engineer at Ergon Informati
Wen-Chieh TungM.Sc.at DeepCode
Andrei UrsacheM.Sc.at Google
Tobias VerhulstM.Sc.at Palantir
Frederic VogelM.Sc.
Meet VoraM.Sc.
Nils WellerM.Sc.Software engineer at ti&m
Pascal WiesmannB.Sc.M.Sc. student at ETH
Chengyuan YaoM.Sc.at Google
Christine ZellerM.Sc.at ELCA Informatik AG