American-Canadian computer scientist
According to Wikipedia, 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 professor at the University of Toronto, Department of Computer Science and Department of Mathematics.
This paper list is powered by the following services:
Stephen Cook is affiliated with the following schools: