1 files changed, 1 insertions, 1 deletions
diff --git a/AUTHORS b/AUTHORS
index 98205ef98..3e85b13c7 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -13,7 +13,7 @@ The core designers and authors of CVC4 are:
   Morgan Deters, New York University
   Liana Hadarean, New York University & Mentor Graphics Corporation
   Dejan Jovanovic, New York University & SRI International
-  Tim King, New York University
+  Tim King, New York University, Universite Joseph Fourier & Google, Inc.
   Tianyi Liang, The University of Iowa
   Andrew Reynolds, The University of Iowa & EPFL
   Cesare Tinelli, The University of Iowa