Professor Dan Spielman wins Godel Prize