MIT CSAIL: Greg Valiant