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 ⓘ