Russell Impagliazzo
A theoretical computer scientist and professor at the University of California, San Diego, known for research in computational complexity theory, average-case complexity, and the foundations of cryptography, and for proposing the celebrated 'five worlds' thought experiment.
Core Facts
Timeline (last 90 days)
ETH was proposed by Russell Impagliazzo and Ramamohan Paturi, conjecturing that the 3SAT problem cannot be solved in subexponential time.
Verification work is being led by Impagliazzo, Paturi and Ryan Williams, among others, and requires Lean formalization, but independent review is still ongoing.
The Exponential Time Hypothesis (ETH) was proposed by Impagliazzo and Paturi in 1999.
Minicrypt is one of the thought experiments proposed by cryptographer Russell Impagliazzo in his 1995 paper 'A Personal View of Average-Case Complexity'.
The five worlds proposed by Impagliazzo include Algorithmica, Heuristica, Pessiland, Minicrypt, and Cryptomania, forming a hierarchically progressive spectrum of possibilities.
All Facts (5)
The Exponential Time Hypothesis (ETH) was proposed by Impagliazzo and Paturi in 1999.
75%UnverifiedETH was proposed by Russell Impagliazzo and Ramamohan Paturi, conjecturing that the 3SAT problem cannot be solved in subexponential time.
50%UnverifiedVerification work is being led by Impagliazzo, Paturi and Ryan Williams, among others, and requires Lean formalization, but independent review is still ongoing.
50%UnverifiedMinicrypt is one of the thought experiments proposed by cryptographer Russell Impagliazzo in his 1995 paper 'A Personal View of Average-Case Complexity'.
50%UnverifiedThe five worlds proposed by Impagliazzo include Algorithmica, Heuristica, Pessiland, Minicrypt, and Cryptomania, forming a hierarchically progressive spectrum of possibilities.
50%