topics.html

---
layout: default
title: MSc Thesis @ SRI
permalink: /thesis-topics/index.html
---


<article class="page">

  <header class="page-header container">
  <div class="row">
    <div class="column column-66">
      <h1 class="page-title">{{ page.title | escape }}</h1>
    </div>
  </div>
  </header>


  <div class="page-content container">
    <div class="row">
      <div class="column column-66">
      	<br>
		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:
		<ul>
			<li><a href="{{ "/research/safeai" | relative_url }}">Safe and interpretable artificial intelligence</a></li>
			<li><a href="{{ "/research/plml" | relative_url }}">Machine learning for programming</a></li>
			<li><a href="{{ "/research/blockchain-security" | relative_url }}">Blockchain security</a></li>
			<li><a href="{{ "/research/programmable-networks" | relative_url }}">Programmable networks</a></li>
			<li><a href="{{ "/research/quantum" | relative_url }}">Quantum programming</a></li>
		</ul>
		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).
		<br><br>
		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 <a href="https://github.com/eth-sri">GitHub page</a> for details.
		<br><br>
		<h3>Awards and medals <span><img style="heigth: 18px; width: 18px;" src="/assets/images/award.png" title="CC BY 4.0 by @fontawesome - https://fontawesome.com"/></span> <font color="#d74141"></font></h3>
		A number of students who have completed their Master theses at our lab have won ETH medals and best thesis awards:
		<ul>
			<li><a href="{{ "people/marc" | relative_url }}">Marc Fischer</a>, ETH Medal for outstanding Master thesis 2019</li>
			<li><a href="{{ "people/samuel" | relative_url }}">Samuel Steffen</a>, Best ETH Master's degree in computer science 2019</li>
			<li><a href="{{ "people/benjamin" | relative_url }}">Benjamin Bichsel</a>, Best ETH Master's degree in computer science 2018</li>
			<li>Cyril Steimer, ETH Medal for outstanding Master thesis 2016</li>
			<li><a href="{{ "people/timon" | relative_url }}">Timon Gehr</a>, ETH Medal for outstanding Master thesis 2015</li>
			<li><a href="{{ "people/gagandeep" | relative_url }}">Gagandeep Singh</a>, ETH Medal for outstanding Master thesis 2014</li>
		</ul>
		<h3>Thesis at our spin-offs</h3>
			Master students also have the opportunity to do their theses at our ETH spin-offs -- <a href="https://deepcode.ai">DeepCode</a> and <a href="https://chainsecurity.com">ChainSecurity</a> -- and contribute to building state-of-the-art products. 

		<br><br>
		<h3>To apply</h3>
		To apply for a thesis, please contact <a href="mailto:martin.vechev@inf.ethz.ch">Prof. Martin Vechev</a>.
		<br><br>
      <h3>Past B.Sc./M.Sc. Thesis Students</h3>
        <table  width="80%">
<tr><th>Name</th><th>Type</th><th>Position after thesis</th></tr>		

          pisac180367
          
          
<tr><td>Philippe Schlattner</td><td>M.Sc.</td><td></td></tr>
<tr><td>Petar Ivanov</td><td>M.Sc.</td><td></td></tr>
<tr><td>Luc Haller</td><td>M.Sc.</td><td></td></tr>
<tr><td>Christiane Goltz</td><td>M.Sc.</td><td></td></tr>
<tr><td>Jonas Felber</td><td>M.Sc.</td><td></td></tr>
<tr><td>Andrei Ursache</td><td>M.Sc.</td><td></td></tr>        
<tr><td>Steven Stalder</td><td>B.Sc.</td><td>M.Sc. Student at ETH</td></tr>		
<tr><td>Mario Gersbach</td><td>M.Sc.</td><td>Researcher @ SRI</td></tr>		
<tr><td>Frobeen Lavrentios</td><td>M.Sc.</td><td>Researcher @ SRI</td></tr>
<tr><td>Larissa Laich</td><td>M.Sc.</td><td><a href="https://www.oculus.com">Oculus</a></td></tr>			
<tr><td>Frederic Vogel</td><td>M.Sc.</td><td></td></tr>
<tr><td>Mislav Balunovic</td><td>M.Sc.</td><td>PhD student @ SRI</td></tr>		
<tr><td>Carlo Saladin</td><td>M.Sc.</td><td></td></tr>
<tr><td>Tobias Verhulst</td><td>M.Sc.</td><td></td></tr>		
<tr><td>Viviane Onus</td><td>B.Sc.</td><td>M.Sc. Student at ETH</td></tr>
<tr><td>Marc Fischer</td><td>M.Sc.</td><td><span><img style="heigth: 18px; width: 18px;" src="/assets/images/award.png" title="CC BY 4.0 by @fontawesome - https://fontawesom        e.com"/></span> <font color="#d74141">ETH Medal for outstanding Master's thesis</font>, PhD student @ SRI</td></tr>			
<tr><td>Nils Weller</td><td>M.Sc.</td><td>Software engineer at <a href="https://www.ti8m.com/">ti&m</a></td></tr>
<tr><td>Adrian Hoffmann</td><td>B.Sc.</td><td>M.Sc. Student at ETH</td></tr>		
<tr><td>Christopher Signer</td><td>M.Sc.</td><td></td></tr>
<tr><td>Viktor Chibotaru</td><td>M.Sc.</td><td>Software engineer at <a href="https://deepcode.ai">DeepCode</a></td></tr>		
<tr><td>Jan Eberhardt</td><td>M.Sc.</td><td>Software engineer at <a href="https://deepcode.ai">DeepCode</a></td></tr>
<tr><td>Samuel Schmid</td><td>M.Sc.</td><td>Software engineer at <a href="https://deepcode.ai">DeepCode</a></td></tr>		
<tr><td>Anton Permenev</td><td>M.Sc.</td><td>Blockchain security engineer at <a href="https://chainsecurity.com">ChainSecurity</a></td></tr>
<tr><td>Polena Lilyanova</td><td>M.Sc.</td><td>Software engineer at <a href="https://www.blackrock.com">BlackRock</a></td></tr>		
<tr><td>Nodar Ambroladze</td><td>M.Sc.</td><td>Software engineer at <a href="https://www.google.com">Google</a></td></tr>
<tr><td>Samuel Steffen</td><td>M.Sc.</td><td><span><img style="heigth: 18px; width: 18px;" src="/assets/images/award.png" title="CC BY 4.0 by @fontawesome - https://fontawesome.com"/></span> <font color="#d74141">Willi Studer Prize for best Master's degree in computer science</font>, PhD student @ SRI</td></tr> 		
<tr><td>Alexey Kustov</td><td>M.Sc.</td><td></td></tr>
<tr><td>Johannes Kapfhammer</td><td>B.Sc.</td><td>M.Sc. student @ SRI</td></tr> 	
<tr><td>Tobias Kaiser</td><td>M.Sc.</td><td>Blockchain security engineer at  <a href="https://chainsecurity.com">ChainSecurity</a></td></tr>
<tr><td>Aleksander Matusiak</td><td>M.Sc.</td><td>Software engineer at <a href="https://www.google.com">Google</a></td></tr> 	
<tr><td>Jingxuan He</td><td>M.Sc.</td><td>PhD student @ SRI</td></tr>
<tr><td>Nick Baumann</td><td>B.Sc.</td><td>M.Sc. student at ETH</td></tr> 			
<tr><td>Cyril Steimer</td><td>M.Sc.</td><td>Software engineer at <a href="https://www.ergon.ch/de">Ergon Informati</a></td></tr>
<tr><td>Cedric Baumann</td><td>M.Sc.</td><td></td></tr> 		
<tr><td>Alexandra Maximova</td><td>M.Sc.</td><td>Software engineer at <a href="https://www.google.com">Google</a></td></tr>
<tr><td>Prabhakaran Santhanam</td><td>M.Sc.</td><td>Researcher at D-MTEC, ETH Zurich</td></tr> 	
<tr><td>Matteo Panzacchi</td><td>M.Sc.</td><td>Software engineer at <a href="https://www.facebook.com">Facebook</a></td></tr>
<tr><td>Benjamin Bichsel</td><td>M.Sc.</td><td><span><img style="heigth: 18px; width: 18px;" src="/assets/images/award.png" title="CC BY 4.0 by @fontawesome - https://fontawesome.com"/></span> <font color="#d74141">Willi Studer Prize for best Master's degree in computer science</font>, PhD student @ SRI</td></tr> 		
<tr><td>Pavol Bielik</td><td>M.Sc.</td><td>PhD student @ SRI</td></tr>
<tr><td>Ylli Muhadri</td><td>M.Sc.</td><td>M.Sc. student at ETH</td></tr> 
<tr><td>Timon Gehr</td><td>M.Sc.</td><td><span><img style="heigth: 18px; width: 18px;" src="/assets/images/award.png" title="CC BY 4.0 by @fontawesome - https://fontawesom    e.com"/></span> <font color="#d74141">ETH Medal for outstanding Master thesis</font>, PhD student @ SRI</td></tr>
<tr><td>Florian Buenzli</td><td>M.Sc.</td><td>Senior software engineer at <a href="https://www.ubique.ch/">Ubique</a></td></tr> 		
<tr><td>Attila Printz</td><td>B.Sc.</td><td></td></tr>
<tr><td>Rumen Paletov</td><td>M.Sc.</td><td>Software engineer at <a href="https://www.twitter.com">Twitter</a></td></tr> 		
<tr><td>Christian Fehlmann</td><td>B.Sc.</td><td>M.Sc. student at ETH</td></tr>
<tr><td>Pavle Djordjevic</td><td>M.Sc.</td><td>Software engineer at <a href="https://www.bloomberg.com">Bloomberg</a></td></tr> 		
<tr><td>Jeremie Miserez</td><td>M.Sc.</td><td>Software engineer at <a href="https://labs.oracle.com">Oracle labs</a></td></tr>
<tr><td>Quentin Hibon</td><td>M.Sc.</td><td>Blockchain security engineer at <a href="https://chainsecurity.com">ChainSecurity</a></td></tr> 
<tr><td>Jibin Ou</td><td>M.Sc.</td><td>System Engineer at Volvo Cars</td></tr>
<tr><td>Noa Philippe Javet</td><td>M.Sc.</td><td></td></tr> 	
<tr><td>Pascal Roos</td><td>B.Sc.</td><td>Software Engineer at flowable</td></tr>
<tr><td>Benjamin Mularczyk</td><td>M.Sc.</td><td>Software engineer at <a href="https://deepcode.ai">DeepCode</a></td></tr> 
<tr><td>Christine Zeller</td><td>M.Sc.</td><td></td></tr>
<tr><td>Pascal Wiesmann</td><td>B.Sc.</td><td>M.Sc. student at ETH</td></tr> 
<tr><td>Gagandeep Singh</td><td>M.Sc.</td><td><span><img style="heigth: 18px; width: 18px;" src="/assets/images/award.png" title="CC BY 4.0 by @fontawesome - https://fontawesom    e.com"/></span> <font color="#d74141">ETH Medal for best Master thesis</font>, PhD student @ SRI</td></tr>

        </table>


      </div>
    </div>      
  </div>
</article>