Velasquez, Juan D, MIT CSAIL