Add Gereon to AUTHORS list. (#5930)

diff --git a/AUTHORS b/AUTHORS
index 073c1c67fe4ea440abefbc6bd51f7b83fa63df56..894f779f47819afd907511438111448d31033d73 100644 (file)
--- a/AUTHORS
+++ b/AUTHORS
@@ -11,6 +11,7 @@ Current:
   Clark Barrett, New York University, Google, Stanford University
   Martin Brain, University of Oxford
   Ahmed Irfan, Stanford University
+  Gereon Kremer, Stanford University
   Makai Mann, Stanford University
   Abdalrhman Mohamed, The University of Iowa
   Mudathir Mohamed, The University of Iowa