Mathematician:Leonid Anatolievich Levin

From ProofWiki
Jump to navigation Jump to search

Soviet-American computer scientist best known for his exposition of what is now known as the Cook-Levin Theorem.


Nationality

Soviet-American

History

  • Born: 2 Nov 1948, Dnipropetrovsk, USSR (now Ukraine)

Theorems and Definitions

Results named for Leonid Anatolievich Levin can be found here.


Books and Papers

  • 1986: Average-case complete problems