Dan R.K. Ports, MIT CSAIL