Mathematician:Leonid Anatolievich Levin

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

 * Cook-Levin Theorem (independently of )

Books and Papers

 * 1986: Average-case complete problems