NAME: Gregory Shakhnarovich
MAINLINK: http://people.csail.mit.edu/gregory/
POSITION: collaborator