Leonid Levin

E572330

Leonid Levin is a Soviet-American computer scientist known as a co-founder of complexity theory and for independently formulating the P versus NP problem.

All labels observed (1)

Label Occurrences
Leonid Levin canonical 8

How this entity was disambiguated

Statements (35)

Predicate Object
instanceOf human
mathematician
theoretical computer scientist
co-discovered NP-completeness of certain search problems
co-formulated P versus NP problem
countryOfCitizenship Soviet Union
United States of America
educatedAt Moscow State University
employer Boston University
fieldOfWork algorithm theory
computational complexity theory
cryptography
theoretical computer science
hasResearchInterest Kolmogorov complexity
NP-complete problems
P versus NP problem
randomized algorithms
influenced research in computational complexity theory
research on NP-completeness
influencedBy Alan Turing
Andrey Kolmogorov
linked to: Andrei Kolmogorov
languageSpoken English
Russian
notableFor Levin reduction
linked to: Karp reductions

Levin search
co-founding complexity theory
independent formulation of the P versus NP problem
work on NP-completeness
work on average-case complexity
work on randomness in computation
notableIdea Levin reduction in complexity theory
universal search algorithm (Levin search)
occupation university professor
workLocation Moscow
United States

How these facts were elicited

Referenced by (8)

Full triples — surface form annotated when it differs from this entity's canonical label.

P versus NP problem introducedBy Leonid Levin
NP-completeness introducedBy Leonid Levin
Marcus Hutter influencedBy Leonid Levin
Ray Solomonoff influenced Leonid Levin
Cook–Levin theorem namedAfter Leonid Levin
SAT npCompletenessProofBy Leonid Levin