-
Notifications
You must be signed in to change notification settings - Fork 5
/
team.html
146 lines (130 loc) · 5.05 KB
/
team.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
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
---
title: Vampire Team
layout: default
---
{% include authors.html %}
<p>
This page describes the current and past team working on Vampire.
For a description of the history prior to 2014, see the <a href="/history.html">History page</a>.
</p>
<h2>Current Team</h2>
<ul class="bio-list">
<li class="bio">
<h2>Andrei Voronkov</h2>
<img alt="Andrei Voronkov" src="/img/andrei.jpg">
<p>
{{ voronkov }} (Univeristy of Manchester, TU Wien, EasyChair) is the original developer of Vampire, beginning work in 1990 (see <a href="/history.html">History</a>).
He was awarded the <a href="http://www.cadeinc.org/Herbrand-Award">Herbrand Award</a> in 2015 for <q>numerous theoretical and practical contributions to automated deduction, and the development of the award-winning Vampire theorem prover</q>.
He is also founder of the <a href="http://easychair.org/">EasyChair</a> conference management system and <a href="http://lpar.net/">LPAR conference series</a>.
</p>
</li>
<li class="bio">
<h2>Laura Kovács</h2>
<img alt="Laura Kovács" src="/img/lkovacs.jpg">
<p>
{{ kovacs }} (TU Wien) joined the Vampire team in 2009 and began a large collaborative effort in applying Vampire to program analysis.
</p>
</li>
<li class="bio">
<h2>Giles Reger</h2>
<img alt="Giles Reger" src="/img/giles.jpg">
<p>
{{ reger }} (University of Manchester) joined the Vampire team in 2014.
He is currently a Senior Lecturer in Manchester and leads the group there with Andrei.
</p>
</li>
<li class="bio">
<h2>Martin Suda</h2>
<img alt="Martin Suda" src="/img/msuda.jpg">
<p>
{{ suda }} (CTU/CIIRC, Prague) joined the Vampire team in 2014.
He is currently a PostDoc at Josef Urban's group in Prague.
Previously, he worked with Laura's group in TU Wien and
before with Andrei in Manchester.
</p>
</li>
<li class="bio">
<h2>Michael Rawson</h2>
<img alt="Michael Rawson" src="/img/mrawson.jpg">
<p>
{{ rawson }} (TU Wien) joined the team in Manchester from 2017.
He is interested in machine learning applied to automated reasoning, but can be distracted by many other topics.
From 2021 he has a postdoctoral position with Laura's group in Vienna.
</p>
</li>
<li class="bio">
<h2>Johannes Schoisswohl</h2>
<img alt="Johannes Schoisswohl" src="/img/joe.jpg">
<p>
{{ schoisswohl }} (University of Manchester, TU Wien) is working on theory reasoning in Vampire since March 2020.
Started as a research assistant in Manchester in 2020, in co-supervision by Giles, and Andrei in Manchester.
PhD student in Vienna since November 2022, being supervised by Laura, still working closely with Giles, and Andrei.
</p>
</li>
<li class=bio>
<h2>Jakob Rath</h2>
<img alt="Jakob Rath" src="/img/jrath.jpg">
<p>
{{ rath }} (TU Wien) joined the Vampire team in 2019.
He is currently a PhD student at TU Wien, and is supervised by Laura.
</p>
</li>
<li class=bio>
<h2>Petra Hozzova</h2>
<img alt="Petra Hozzova" src="/img/phozzova.jpg">
<p>
{{ hozzova }} (TU Wien) joined the Vampire team in 2019.
She is currently a PhD student at TU Wien, working on inductive reasoning in Vampire.
She is supervised by Laura and co-supervised by Andrei.
</p>
</li>
<li class=bio>
<h2>Márton Hajdu</h2>
<img alt="Márton Hajdu" src="/img/mhajdu_small.jpg">
<p>
{{ hajdu }} (TU Wien) joined the Vampire team in 2020.
He is currently a PhD student at TU Wien supervised by Laura, working on inductive reasoning in Vampire.
</p>
</li>
</ul>
<h2>Past Team</h2>
<ul class="bio-list">
<li class="bio">
<h2>Evgenii Kotelnikov</h2>
<img alt="Evgenii Kotelnikov" src="/img/evgenii.jpg">
<p>
{{ kotelnikov }} (Chalmers University of Technology) joined the Vampire team in 2013.
He completed his PhD studies at Chalmers in 2018, supervised by Laura and Andrei.
</p>
</li>
<li class="bio">
<h2>Simon Robillard</h2>
<img alt="Simon Robillard" src="/img/srobillard.jpg">
<p>
{{ robillard }} (Chalmers University of Technology) completed his PhD at Chalmers and was a member of the Vampire team between 2014 and 2020.
He worked under the supervision of Laura.
</p>
</li>
<li class="bio">
<h2>Martin Riener</h2>
<img alt="Martin Riener" src="/img/mriener.jpg">
<p>
{{ mriener }} (University of Manchester) was a Post-Doc between 2018 and 2020. He worked on theory instantiation for Vampire.
</p>
</li>
<li class="bio">
<h2>Bernhard Gleiss</h2>
<img alt="Bernhard Gleiss" src="/img/bgleiss.jpg">
<p>
{{ gleiss }} (TU Wien) was a member of the Vampire team between 2016 and 2020. During his PhD, which was supervised by Laura, he worked on superposition-based software verification, reasoning with quantification and theories in Vampire, and industrial usability of Vampire.
</p>
</li>
<li class="bio">
<h2>Ahmed Bhayat</h2>
<img alt="Ahmed Bhayat" src="/img/abhayat.jpg">
<p>
{{ bhayat }} (University of Manchester) completed a PhD on the topic of automated higher-order reasoning supervised by Andrei and Giles. He subsequently held a postdoctoral position on the <a href="https://scorch-project.github.io/about/">SCorCH</a> project. His interests include induction in saturation, program verification, and higher-order reasoning.
</p>
</li>
</ul>
</div>