Tim Roughgarden, Columbia University