diff --git a/THANKS b/THANKS
index fc9129f96..ff7228e43 100644
--- a/THANKS
+++ b/THANKS
@@ -13,6 +13,7 @@ Joakim Rosqvist: dvljrt@cs.umu.se
 Marcus Daniels: marcus@sysc.pdx.edu
 Mark A. Thomas: thommark@access.digex.net
 Mark Harris: mark@monitor.designacc.com
+Matthew S. Levine: mslevine@theory.lcs.mit.edu
 Miles Bader: miles@gnu.ai.mit.edu
 Peter Eriksson: peter@ifm.liu.se
 Ross Ridge: rridge@calum.csclub.uwaterloo.ca