people.html

---
layout: default
title: People
permalink: /people/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">

        <div class="grid">
          {% include get-person.html title="Prof. Dr. Martin Vechev" %}
          {% include get-person.html title="Dr. Timon Gehr" %}
          {% include get-person.html title="Jasper Dekoninck" %}
          {% include get-person.html title="Kazuki Egashira" %}
          {% include get-person.html title="Thibaud Gloaguen" %}
          {% include get-person.html title="Nikola Jovanović" %}
          {% include get-person.html title="Yuhao Mao" %}
          {% include get-person.html title="Fiorella Meyer" %}
					{% include get-person.html title="Niels Mündler" %}
          {% include get-person.html title="Robin Staab" %}
          {% include get-person.html title="Chenhao Sun" %}
          {% include get-person.html title="Mark Vero" %}
       </div>

        <h2>Current Thesis Students and Interns</h2>
        <table>
 
    <tr><td><b>Karlo Angelic</b> Project Mobility Student</td></tr>
    <tr><td><b>Raphael Baudeu</b> Master Student</td></tr>
    <tr><td><b>Giovanni De Muri</b> MSc Student</td></tr>
    <tr><td><b>Muyang Du</b> Master Student</td></tr>
    <tr><td><b>Yu-Du Feng</b> Master Student</td></tr>
    <tr><td><b>Loric Herbé</b> Master Student</td></tr>
    <tr><td><b>Hanno Hiss</b> Master Student</td></tr>
    <tr><td><b>Sebastian Holesz</b> Project Mobility Student</td></tr>
    <tr><td><b>Jakub Kislinger</b> Master Student</td></tr>
    <tr><td><b>Christian Mürtz</b> Master Student</td></tr>
    <tr><td><b>Melanie Rieff</b> Master Student</td></tr>
    <tr><td><b>Kari Rögnvaldsson</b> Master Student</td></tr>
    <tr><td><b>Luisa Scharff</b> Semester Project</td></tr>
    <tr><td><b>Eugene Seo</b> Practical Work</td></tr>
    <tr><td><b>Roman Tarasov</b> Master Student</td></tr>
    <tr><td><b>Alex Tillen</b> Master Student</td></tr>
    <tr><td><b>Adrian Valica</b> Master Student</td></tr>
    <tr><td><b>Tianjian Yi</b> Bachelor Student</td></tr>
                              
                        
        </table>

        <h2>Past Sabbatical Visitors</h2>
         <ul>
           <li> <a href="https://ddana.net.technion.ac.il" target="_blank">Prof. Dr. Dana Drachsler-Cohen</a> (Technion, Israel)</li>
           <li> <a href="http://patricklam.ca">Prof. Dr. Patrick Lam</a> (University of Waterloo, Canada)</li>
         <li> <a href="https://www.cs.rice.edu/~sc40/">Prof. Dr. Swarat Chaudhuri</a> (Rice University, USA)</li>
         </ul>
     
        <h2>Past PhD students and Post-Docs in the group</h2>
         <ul>
         <li> <a href="{{"/people/dimitadi" | relative_url }}">Dr. Dimitar Iliev Dimitrov</a>, now Post-Doc at <a href="https://insait.ai/" target="_blank">INSAIT</a></li>
         <li> <a href="{{"/people/luca" | relative_url }}">Dr. Luca Beurer-Kellner</a>, CTO and Co-Founder <a href="https://invariantlabs.ai/" target="_blank">Invariant Labs</a></li>
         <li> <a href="{{"/people/momchil" | relative_url }}">Dr. Momchil Peychev</a>, now ML Engineer at <a href="https://www.daedalean.ai/" target="_blank">Daedalean AI</a></li>
         <li> <a href="{{"/people/marc" | relative_url }}">Dr. Marc Fischer</a>, CEO and Co-Founder <a href="https://invariantlabs.ai/" target="_blank">Invariant Labs</a></li>
         <li> <a href="{{"/people/anouk" | relative_url }}">Dr. Anouk Paradis</a>, now Software Engineer at <a href="https://distran.swiss/en/home/" target="_blank">Distran</a></li>
         <li> <a href="{{"/people/jingxuan" | relative_url }}">Dr. Jingxuan He</a>, now Post-Doc at <a href="https://www.berkeley.edu//" target="_blank"> UC Berkeley</a> working with Prof. Dawn Song, awarded with the ETH Medal <img style="heigth: 18px; width: 18px;" src="/assets/images/award.png" title="CC BY 4.0 by @fontawesome - https://fontawesom e.com"/> for outstanding doctoral thesis</li>
         <li> <a href="{{"/people/max" | relative_url }}">Dr. Max Baader</a>, now Staff Research Engineer at <a href="https://snyk.io" target="_blank">Snyk</a></li>
         <li> <a href="{{"/people/mark" | relative_url }}">Dr. Mark Niklas Müller</a>, Co-founder and Chief Technology Officer at <a href="https://www.logicstar.ai/" target="_blank">LogicStar AI</a></li>
         <li> <a href="{{"/people/benjamin" | relative_url }}">Dr. Benjamin Bichsel</a>, Co-founder and CEO at <a href="https://netfabric.ai/" target="_blank">NetFabric</a>, awarded with the ETH Medal <img style="heigth: 18px; width: 18px;" src="/assets/images/award.png" title="CC BY 4.0 by @fontawesome - https://fontawesom e.com"/> for outstanding doctoral thesis and with the <a href="https://www.sigplan.org/Awards/Dissertation/">ACM SIGPLAN John J. Reynolds Doctoral Dissertation Award </a><img style="heigth: 18px; width: 18px;" src="/assets/images/award.png" title="CC BY 4.0 by @fontawesome - https://fontawesom e.com"/></li>
         <li> <a href="{{"/people/tobias" | relative_url }}">Dr. Tobias Bühler</a>, Co-founder and CTO at <a href="https://netfabric.ai/" target="_blank">NetFabric</a></li>
         <li> <a href="{{"/people/mislav" | relative_url }}">Dr. Mislav Balunovic</a>, now Senior Research Scientist at <a href="https://deepmind.google/" target="_blank">Google DeepMind</a></li>
         <li> <a href="{{"/people/pesho" | relative_url }}">Dr. Pesho Ivanov</a>, now Post-Doc at <a href="https://medvedevgroup.com/" target="_blank">Prof. Paul Medvedev's lab at Penn State</a></li>
         <li> <a href="{{"/people/nikolakonstantinov" | relative_url }}">Dr. Nikola Konstantinov</a>, now tenure-track faculty at <a href="https://insait.ai/" target="_blank">INSAIT</a></li>
         <li> <a href="{{"/people/samuel" | relative_url }}">Dr. Samuel Steffen</a>, now Senior Software Engineer at <a href="https://www.veezoo.com/" target="_blank">Veezoo</a>, awarded with the ACM SIGSAC Doctoral Dissertation Award Runner-Up <img style="heigth: 18px; width: 18px;" src="/assets/images/award.png" title="CC BY 4.0 by @fontawesome - https://fontawesom e.com"/> for top 3 dissertation in the world in security</li>
         <li> <a href="{{"/people/timon" | relative_url }}">Dr. Timon Gehr</a>, now Senior Scientist at <a href="https://www.sri.inf.ethz.ch/" target="_blank">SRI Lab</a>, awarded with the ETH Medal <img style="heigth: 18px; width: 18px;" src="/assets/images/award.png" title="CC BY 4.0 by @fontawesome - https://fontawesom e.com"/> for outstanding doctoral thesis</li>
         <li> <a href="{{"/people/matthew" | relative_url }}">Dr. Matthew Mirman</a>, founder & CEO at <a href="https://www.anarchy.ai/" target="_blank">anarchy.ai</a></li>
         <li> <a href="{{"/people/rudiger" | relative_url }}">Dr. Rüdiger Birkner</a>, now Research Scientist at <a href="https://dfinity.org/" target="_blank">DFINITY</a>, awarded with the <a href="https://www.eurosys.org/awards/roger-needham-phd-award">2022 EuroSys Roger Needham PhD Award </a> <img style="heigth: 18px; width: 18px;" src="/assets/images/award.png" title="CC BY 4.0 by @fontawesome - https://fontawesom e.com"/></li>
         <li> <a href="{{"/people/pavol" | relative_url }}">Dr. Pavol Bielik</a>, Co-founder and CTO at <a href="https://latticeflow.ai/">LatticeFlow AG </a></li>
         <li> <a href="{{"/people/petar" | relative_url }}">Dr. Petar Tsankov</a>, Co-founder and CEO at <a href="https://latticeflow.ai/">LatticeFlow AG </a></li>
         <li><a href="https://ggndpsngh.github.io/" target="_blank">Dr. Gagandeep Singh</a>, now Assistant Professor at <a href="https://cs.illinois.edu/" target="_blank">University of Illinois at Urbana-Champaign UIUC</a>, co-received the ACM SIGPLAN Doctoral Dissertation Award <img style="heigth: 18px; width: 18px;" src="/assets/images/award.png" title="CC BY 4.0 by @fontawesome - https://fontawesom e.com"/></li>
         <li> <a href="{{"/people/dimitar" | relative_url }}">Dr. Dimitar K. Dimitrov</a>, now Chief Research Officer at <a href="https://chainsecurity.com/about/" target="_blank">Chain Security</a>, awarded with the ETH Medal <img style="heigth: 18px; width: 18px;" src="/assets/images/award.png" title="CC BY 4.0 by @fontawesome - https://fontawesom e.com"/> for outstanding doctoral thesis</li>
         <li> <a href="https://ddana.net.technion.ac.il" target="_blank">Dr. Dana Drachsler-Cohen</a>, now tenure-track Assistant Professor at <a href="http://www.technion.ac.il/en/home-2/" target="_blank">Technion, Israel</a></li>
         <li> <a href="http://misailo.web.engr.illinois.edu/" target="_blank">Dr. Sasa Misailovic</a>, now tenure-track Assistant Professor at <a href="https://cs.illinois.edu/" target="_blank">University of Illinois at Urbana-Champaign UIUC</a></li>
         <li> <a href="{{"/people/veselin" | relative_url }}">Dr. Veselin Raychev</a>, Co-founder and Chief Architect LogicStar, former Head of AI at <a href="https://snyk.io">Snyk</a>, Co-founder of <a href="https://www.deepcode.ai/" target="_blank">deepcode.ai</a>, awarded with the ETH Medal <img style="heigth: 18px; width: 18px;" src="/assets/images/award.png" title="CC BY 4.0 by @fontawesome - https://fontawesom e.com"/> for outstanding doctoral thesis and with the <a href="https://awards.acm.org/doctoral-dissertation/award-winners">ACM Doctoral Dissertation Award </a><img style="heigth: 18px; width: 18px;" src="/assets/images/award.png" title="CC BY 4.0 by @fontawesome - https://fontawesom e.com"/></li>
         <li> <a href="https://andreidan.net/" target="_blank">Dr. Andrei Marian Dan</a>, now Research Scientist at <a href="https://www.hitachiabb-powergrids.com/" target="_blank">Hitachi ABB Power Grids Research, Switzerland</a></li>
         </ul>


        <h2>Former Interns</h2>
         <ul>
         <li> Batuhan Akar</li>
         <li> Korbinian Abstreiter</li>
         <li> Gregory Bonaert</li>
         <li> Manuel Breitenstein</li>
         <li> Ozgur Celik</li>
         <li> Lavrentios Frobeen</li>
         <li> Philipp Guldimann</li>
         <li> Kevin De Keyser</li>
         <li> Inna Grijnevitch</li>
         <li> Viktor Ivanov</li>
         <li> Slobodan Jenko</li>
         <li> Casper Jensen</li>
         <li> Svetoslav Karaivanov</li>
         <li> Johan Lokna</li>
         <li> Francisco Machado</li>
         <li> Hleb Makarchuk</li>
         <li> Ivan Milev</li>
         <li> Mehrshad Mirmohammadi</li>
         <li> Christoph Müller</li>
         <li> Emilien Pilloud</li>
         <li> Angéline Pouget</li>
         <li> Pirmin Schmid</li>
         <li> Alexander Spiridonov</li>
         <li> Mihaela Stoian</li>
         <li> Yasen Trifonov</li>
         <li> Tobias von Arx</li>
         <li> Tianxiang Xia</li>
         <li> Hanna Yukhymenko</li>
         <li> Matus Zilinec</li>
         </ul>

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

    </article>