-
Notifications
You must be signed in to change notification settings - Fork 9
/
people.html
executable file
·124 lines (106 loc) · 9.31 KB
/
people.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
---
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. Maximilian Baader" %}
{% include get-person.html title="Dr. Timon Gehr" %}
{% include get-person.html title="Luca Beurer-Kellner" %}
{% include get-person.html title="Jasper Dekoninck" %}
{% include get-person.html title="Dimitar I. Dimitrov" %}
{% include get-person.html title="Marc Fischer" %}
{% include get-person.html title="Nikola Jovanović" %}
{% include get-person.html title="Yuhao Mao" %}
{% include get-person.html title="Fiorella Meyer, Admin." %}
{% include get-person.html title="Niels Mündler" %}
{% include get-person.html title="Momchil Peychev" %}
{% include get-person.html title="Robin Staab" %}
{% include get-person.html title="Mark Vero" %}
</div>
<h2>Current Thesis Students and Interns</h2>
<table>
<tr><td><b>Dragos Albastroiu</b> Research in CS project student</td></tr>
<tr><td><b>Kazuki Egashira</b> Master student</td></tr>
<tr><td><b>Thibaud Gloaguen</b> Master Student</td></tr>
<tr><td><b>Slobodan Jenko</b> Master student</td></tr>
<tr><td><b>Marc Lundwall</b> Master student</td></tr>
<tr><td><b>Elena Lyulina</b> Research in CS project student</td></tr>
<tr><td><b>Ivan Milev</b> Master student</td></tr>
<tr><td><b>Batuhan Tömekce</b> Master student</td></tr>
<tr><td><b>Mehrshad Mirmohammadi</b> Project intern</td></tr>
<tr><td><b>Mert Ünsal</b> Project intern</td></tr>
<tr><td><b>Hanna Yukhymenko</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="{{"/people/anouk" | relative_url }}">Dr. Anouk Paradis</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</li>
<li> <a href="{{"/people/max" | relative_url }}">Dr. Max Baader</a>, now Post-Doc at <a href="https://www.sri.inf.ethz.ch/" target="_blank">SRI Lab</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>, Co-founder and CTO at <a href="https://invariantlabs.ai/" target="_blank">Invariant Labs</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> 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> Hleb Makarchuk</li>
<li> Ivan Milev</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> Hanna Yukhymenko</li>
<li> Matus Zilinec</li>
</ul>
</div>
</div>
</div>
</article>