Charles Blake, MIT Laboratory for Computer Science