Russ Cox, Massachusetts Institute of Technology