-
Notifications
You must be signed in to change notification settings - Fork 0
/
arg-former.html
26 lines (22 loc) · 1.12 KB
/
arg-former.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
<html>
<head>
<title>Paolo Zuliani, Newcastle University - Automated Reasoning Group (ARG) </title>
</head>
<body>
<b>Former Members of ARG </b>
<p>
<ul>
<li> Mariia Vasileva (PhD, 10/2015 - 12/2019)
<li> Martin Sidaway (PhD, 10/2017 - 08/2023)
<li> Konstantinos Georgopoulos (PhD, 06/2018 - 03/2022)
<li> Dinika Paramalingam (PhD, 09/2018 - 03/2023)
<li> <a href="https://www.ncl.ac.uk/cisban/people/profile/graham.smith3" target="_blank">Graham Smith</a> (Senior Postdoc co-supervised with Nick Reynolds, 06/2016 - 06/2019)
<li> Jeremy Revell (MRes & PhD, 10/2014 - 02/2019; now at Frazer-Nash Consultancy)
<li> Kaloyan Yordanov (BSc project and summer 2018 intern; now at IBM UK)
<li> <a href="https://sites.bu.edu/ckmadsen/" target="_blank">Curtis Madsen</a> (Postdoc, 03/2015 - 10/2015; then postdoc at Boston University)
<li> <a href="https://scholar.google.com/citations?user=9Ga2RnYAAAAJ&hl=en" target="_blank">Mohammad Abdullah Al-Mamun</a> (Postdoc, 09/2014 - 01/2015; then postdoc at Cornell University)
</ul>
</p>
<a href="https://pzuliani.github.io/">Home</a>
</body>
</html>