Леони́д Анато́льевич Ле́вин (род. 2 ноября 1948, Днепропетровск) — советский и американский математик. Профессор информатики в Бостонском университете.

Биография

Родился 2 ноября 1948 года в Днепропетровске. В 1970 году окончил Московский государственный университет, после получения диплома поступил в аспирантуру и успешно защитил кандидатскую диссертацию в 1972 году под руководством Колмогорова. В 1978 году эмигрировал в США. В 1979 году получил диплом доктора философии по математике в Массачусетском технологическом институте. С 1980 года работает и преподаёт в Бостонском университете.

Широко известен своими научными достижениями в области теории вероятностей в применении к компьютерам, теории сложности вычислений, один из основателей таких научных направлений как информатика, теория вычислений, теория информации.

Независимо от Стивена Кука доказал в 1971 году теорему Кука — Левина, которая легла в основу одной из проблем тысячелетия, сформулированных институтом Клея. Работа была опубликована только в 1973 году^[1], но была доложена на конференциях, что позже позволило установить приоритет Левина^[2].

Награды

• 2004 — Медаль Колмогорова, Лондонский университет^[3]
• 2010 — Исследовательская премия Гумбольдта (англ.)^[4]

Названы в его честь

• Теорема Кука — Левина

Примечания