Stephen Cook
Videos
Stephen Arthur Cook is an American-Canadian computer scientist and mathematician who has made significant contributions to the fields of complexity theory and proof complexity. He is a university prof
Cook in 2008
Cook in 1968
Hao Wang (academic)
Videos
Hao Wang was a Chinese-American logician, philosopher, mathematician, and commentator on Kurt Gödel.
Stephen Cook
…Science Workplaces University of Toronto University of California, Berkeley Thesis On the Minimum Computation Time of Functions (1966) Doctoral advisor Hao Wang Doctoral students Mark Braverman Toniann Pitassi Walter Savitch Arvind Gupta Anna Lubiw Stephen Arthur Cook (born December 14, 1939) is an American-Canadian…
Wang in 1980