Hartmanis
contemporaryTheoretical Computer Science / Philosophy of Computation1928 – 2022
Juris Hartmanis (1928-2022) was a Latvian-American computer scientist and a founding figure of computational complexity theory. With Richard Stearns, he established the theoretical framework for classifying problems by the computational resources required to solve them, work that earned them the 1993 Turing Award.
Notable Achievements
1
Co-founded computational complexity theory with Richard Stearns
2
Received the 1993 ACM Turing Award for foundational contributions to computational complexity
3
Authored the seminal 1965 paper 'On the Computational Complexity of Algorithms'
4
Founded and chaired the Computer Science department at Cornell University
5
Raised foundational questions about the epistemology of mathematical and logical knowledge in light of computational limits