From efc316ae5e7263b74d41e69ee8e90b65488da3e4 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 14 Aug 2017 22:17:03 +0000
Subject: [PATCH] Update authors list used for git-svn migration.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12201 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/authors.txt | 27 +++++++++++++++++++++++----
 1 file changed, 23 insertions(+), 4 deletions(-)

diff --git a/prism/src/authors.txt b/prism/src/authors.txt
index f4fefe00..557fa663 100644
--- a/prism/src/authors.txt
+++ b/prism/src/authors.txt
@@ -1,11 +1,30 @@
+aissim = aissim <Aistis.Simaitis@cs.ox.ac.uk>
+ajovanovic = ajovanovic <aleksandra.jovanovic@cs.ox.ac.uk>
+apuggelli = apuggelli <puggelli@eecs.berkeley.edu>
+architteneja = architteneja <archittaneja8@gmail.com>
+bbarbot = bbarbot <benoit.barbot@u-pec.fr>
+bruni = bruni <alessandro.bruni@gmail.com>
+brunol = brunol <b.lacerda@cs.bham.ac.uk>
+chrisd = chrisd <dehnert@cs.rwth-aachen.de>
+clewil = clewil <clemens.wiltsche@gmail.com>
+cmu = cmu <c.mu@cs.bham.ac.uk>
+copik = copik <mcopik@gmail.com>
+draeger = draeger <Klaus.Draeger@cs.ox.ac.uk>
 dxp = Dave Parker <dave.x.parker@gmail.com>
-jklein = Joachim Klein <klein@tcs.inf.tu-dresden.de>
-vojta = Vojtech Forejt <forejtv@gmail.com>
-gxn = Gethin Norman <gethin.norman@glasgow.ac.uk>
 emhahn = Ernst Moritz Hahn <emhahn@cs.ox.ac.uk>
 fritsd = Frits Dannenberg <frits.dannenberg@cs.ox.ac.uk>
+ganindu88 = ganindu88 <ganindu88@gmail.com>
+gsantos = gsantos <gabrielhrsantos@gmail.com>
+gxn = Gethin Norman <gethin.norman@glasgow.ac.uk>
+hongyang = hongyang <h.qu@sheffield.ac.uk>
+jklein = Joachim Klein <klein@tcs.inf.tu-dresden.de>
+kostas = Kostas Chatzikokolakis <kostas@chatzi.org>
+krause = Christian Krause <christian.krause@hpi.uni-potsdam.de>
+lukeh = Luke Herbert <herbert.luke@gmail.com>
+mceska = mceska <xceska@fi.muni.cz>
 mujma = Mateusz Ujma <mateusz.ujma@cs.ox.ac.uk>
 mxk = Mark Kattenbelt <mark.kattenbelt@comlab.ox.ac.uk>
 nishan = Nishan Kamaleson <nxk249@bham.ac.uk>
-lukeh = Luke Herbert <herbert.luke@gmail.com>
+sergiogiro = sergiogiro <sergio.giro.ar@gmail.com>
+vojta = Vojtech Forejt <forejtv@gmail.com>
 (no author) = Dave Parker <dave.x.parker@gmail.com>