Juris Hartmanis

Juris Hartmanis is the author of books such as Feasible Computations and Provable Complexity Properties.