Físico y matemático. Junto a R. E. Stearns inició el estudio moderno de la complejidad computacional con una publicación en 1965, "On the Computational Complexity of Algorithms" (Sobre la complejidad computacional de los algoritmos), que clasifica los problemas por la cantidad de recursos de cómputo necesarios para resolverlos, definiendo el concepto de complejidad formal respecto al tiempo en máquinas de Turing, demostrando que existe una jerarquía de clases de complejidad. Galardonado con el Premio Turing en 1993.
Juris Hartmanis