1 files changed, 1 insertions, 0 deletions
diff --git a/CREDITS b/CREDITS
index f9aa0cb94d..afb5f14c89 100644
--- a/CREDITS
+++ b/CREDITS
@@ -86,6 +86,7 @@ list of persons and groups:
   J.-P. Jouannaud, S. Lescuyer, A. Miquel, J.-F. Monin, P.-Y. Strub
   the Foundations Group (Radboud University, Nijmegen, The Netherlands),
   Laboratoire J.-A. Dieudonné (University of Nice-Sophia Antipolis),
+  L. Lee (https://orcid.org/0000-0002-7128-9257, 2018),
   INRIA-Gallium project,
   the CS dept at Yale, the CIS dept at U. Penn,
   the CSE dept at Harvard, the CS dept at Princeton, the CS dept at MIT