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">

        <h2>Current Members</h2>
        <div class="grid">
          {% include get-person.html title="Prof. Dr. Martin Vechev" %}
          {% include get-person.html title="Petar Tsankov" %}
          {% include get-person.html title="Dana Drachsler Cohen" %}
          {% include get-person.html title="Andrei Marian Dan" %}
          {% include get-person.html title="Dimitar Dimitrov" %}
          {% include get-person.html title="Gagandeep Singh" %}
          {% include get-person.html title="Pavol Bielik" %}
          {% include get-person.html title="Timon Gehr" %}
          {% include get-person.html title="Rüdiger Birkner" %}
          {% include get-person.html title="Matthew Mirman" %}
          {% include get-person.html title="Pesho Ivanov" %}
          {% include get-person.html title="Benjamin Bichsel" %}
          {% include get-person.html title="Inna Grijnevitch" %}
          {% include get-person.html title="Samuel Steffen" %}
          {% include get-person.html title="Jingxuan He" %}
        </div>
        







        <h2>Administration</h2>
        {% include get-person.html title="Mirella Rutz" %}



        <h2>Current Thesis/Semester Students </h2>
        <table>
          <tr><td><b>Adrian Hoffmann</b>  Bachelor student</td></tr>
          <tr><td><b>Robin Valer</b>  Master student</td></tr>
          <tr><td><b>Christopher Signer</b>  Master student</td></tr>
          <tr><td><b>Viktor Chibotaru</b>  Master student</td></tr>
          <tr><td><b>Jan Eberhardt</b>  Master student</td></tr>
          <tr><td><b>Samuel Schmid</b>  Master student</td></tr>
          <tr><td><b>Anton Permenev</b>  Master student</td></tr>
          <tr><td><b>Polena Lilyanova</b>  Master student</td></tr>
          <tr><td><b>Pirmin Schmid</b> Master student</td></tr>
          <tr><td><b>Mislav Balunovic</b> Master student</td></tr>
        </table>

        <h2>Past Sabbatical Visitors</h2>
         <ul>
         <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="http://misailo.web.engr.illinois.edu/">Dr. Sasa Misailovic</a>, now tenure-track assistant professor at UIUC</li>
         <li> <a href="{{"/people/veselin" | relative_url }}">Veselin Raychev</a>, now CTO at <a href="http://deepcode.ai">DeepCode.ai</a>, a startup on AI for code</li>
         </ul>


        <h2>Past B.Sc./M.Sc. Thesis Students </h2>
        <table  width="400">
            <tr><td><b>Samuel Steffen</b></td> <td><b>Alexey Kustov</b></td></tr>
          <tr><td><b>Johannes Kapfhammer</b></td> <td><b>Tobias Kaiser</b> </td></tr>
          <tr><td><b>Aleksander Matusiak</b></td> <td><b>Jingxuan He</b> </td></tr>
          <tr><td><b>Nick Baumann</b></td> <td><b>Cyril Steimer</b></td> </tr>
          <tr><td><b>Cédric Baumann</b></td> <td><b>Alexandra Maximova</b></td> </tr>
          <tr><td><b>Prabhakara Santhanam</b></td> <td><b>Matteo Panzacchi</b></td> </tr>
          <tr><td><b>Benjamin Bichsel</b></td> <td><b>Pavol Bielik</b></td> </tr>
          <tr><td><b>Ylli Muhadri</b></td> <td><b>Timon Gehr</b></td> </tr>
          <tr><td><b>Florian Buenzli</b></td> <td><b>Attila Printz</b></td> </tr>
          <tr><td><b>Rumen Paletov</b></td> <td><b>Christian Fehlmann</b></td> </tr>
          <tr><td><b>Pavle Djordjevic</b></td> <td><b>Jérémie Miserez</b></td> </tr>
          <tr><td><b>Quentin Hubon</b></td> <td><b>Jibin Ou</b></td> </tr>
          <tr><td><b>Noé Philippe Javet</b></td> <td><b>Pascal Roos</b></td> </tr>
          <tr><td><b>Benjamin Tobia Mularczyk</b></td> <td><b>Christine Zeller</b></td> </tr>
          <tr><td><b>Pascal  Wiesmann</b></td> <td><b>Gagandeep Singh</b></td></tr>

        </table>

        <h2>Former Interns</h2>
         <ul>
         <li> Kevin De Keyser</li>
         <li> Rupanshu Ganvir</li>
         <li> Viktor Ivanov</li>
         <li> Yasen Trifonov</li>
         <li> Pesho Ivanov</li>
         <li> Svetoslav Karaivanov</li>
         <li> Casper Jensen</li>
         </ul>

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

    </article>