update AUTHORS

vprover · May 28, 2023 · 6ba45e8 · 6ba45e8
1 parent cf6811e
commit 6ba45e8
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/AUTHORS b/AUTHORS
@@ -9,11 +9,11 @@ in the online page https://vprover.github.io/team.html:
 
 Current (with current affiliation, may have held other affiliation(s) whilst on Vampire team):
   Ahmed Bhayat, University of Manchester
-  Bernhard Gleiss, TU Wien
+  Márton Hajdú, TU Wien
   Petra Hozzová, TU Wien
   Laura Kovács, TU Wien
   Jakob Rath, TU Wien
-  Michael Rawson, University of Manchester
+  Michael Rawson, TU Wien
   Giles Reger, University of Manchester
   Martin Riener, TU Wien
   Martin Suda, CTU/CIIRC
@@ -22,6 +22,7 @@ Current (with current affiliation, may have held other affiliation(s) whilst on
 
 Alumni (affiliation when on Vampire time):
   Ioan Dragan, TU Wien
+  Bernhard Gleiss, TU Wien
   Kryštof Hoder, University of Manchester
   Evgeny Kotelnikov, Chalmers
   Bernhard Kragl, TU Wien