Kaelbling, Leslie Pack, Massachusetts Institute of Technology, United States