# Mathematician:Leonid Anatolievich Levin

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

- Cook-Levin Theorem (independently of Stephen Arthur Cook)

Results named for **Leonid Anatolievich Levin** can be found here.

## Books and Papers

- 1986:
*Average-case complete problems*