Explore relationships

Stephen Arthur Cook

Stephen Arthur Cook (born December 14, 1939) is an American-Canadian computer scientist and mathematician who has made significant contributions to the fields of complexity theory and proof complexity.

Use + to expand a branch. Click a topic name to open its summary.