Miguel Castro, Massachusetts Institute of Technology