Левін Леонід Анатолійович
Леонід Анатолійович Левін (нар. 2 листопада 1948, Дніпропетровськ) — радянський і американський математик, фахівець в області теорії обчислювальної складності. Професор інформатики в Бостонському університеті.
Леонід Анатолійович Левін | |
---|---|
| |
Народився |
2 листопада 1948 (73 роки) Дніпропетровськ, Українська РСР, СРСР |
Місце проживання | США |
Країна |
США СРСР |
Діяльність | математик, інформатик |
Alma mater | механіко-математичний факультет МДУd, Массачусетський технологічний інститут і Московський державний університет імені М. В. Ломоносова[1] |
Галузь | математика |
Заклад | Бостонський університет |
Ступінь | кандидат фізико-математичних наук |
Науковий керівник | Колмогоров Андрій Миколайович і Альберт Меєрd[1] |
Аспіранти, докторанти | Gene Itkisd[1], Ramarathnam Venkatesand[1] і Siva Raj Rajagopaland[1] |
Членство | Американська академія мистецтв і наук і Національна академія наук США |
Нагороди | |
Левін Леонід Анатолійович у Вікісховищі |
Життєпис
Народився 2 листопада 1948 року в Дніпропетровську.
1970 — закінчив Московський державний університет, після чого працював там же на посаді наукового співробітника під науковим керівництвом Андрія Колмогорова.
1971 — представив кандидатську дисертацію[2], виконавши всі формальні вимоги щодо її попереднього опробування, дисертація була схвалена Колмогоровим, усіма опонентами і головною організацією[3], однак вчений ступінь Левіну присуджена не була[4][5]. Формальною причиною для цього послужила «невизначеність політичного обличчя» здобувача, що, в сукупності з наступними утисками в наукових колах, стали однією з причин еміграції[6].
В 1972—1973 роках працював в Інституті проблем передачі інформації АН СРСР, а з 1973 по 1977 роки — у Всесоюзному науково-дослідному інституті комплексної автоматизації нафтової і газової промисловості (ВНИИКАНефтегаз) на посаді старшого наукового співробітника.
У 1978 році емігрував в США. У 1979 році отримав диплом доктора філософії з математики в Массачусетському технологічному інституті.
1980 — працює і викладає в Бостонському університеті.
2014 — обраний членом Американської академії мистецтв і наук.[7]
Основні результати в області теорії ймовірностей в застосуванні до інформатики, теорії складності обчислень.
Незалежно від Стівена Кука довів у 1971 році теорему Кука — Левіна, завдяки якій була сформульована проблема рівності класів P і NP, яка стала однією з задач тисячоліття. Робота була опублікована лише в 1973 році[8], але була повідомлена на конференціях, що пізніше дозволило встановити пріоритет Левіна[9].
Нагороди
- 2004 — Медаль Колмогорова (Лондонський університет)[10]
- 2010 — Премія Гумбольдта[11]
- 2012 — Премія Кнута[12][13]
Примітки
- Математична генеалогія — 1997.
- Кандидатская диссертация Л. А. Левина
- Отзывы на диссертацию Л. А. Левина
- Б. А. Трахтенброт. Памяти Андрея Петровича Ершова
- Интервью с Леонидом Левиным
- Кутателадзе С. Премия по информатике для выходца из СССР // Троицкий вариант — Наука. № 23 (117) от 20 ноября 2012. С. 14.
- The New 2014 Academy Members
- Л. А. Левин Универсальные задачи перебора (рус.) // Проблемы передачи информации. — 1973. — Т. 9, № 3. — С. 115—116.
- Boris A. Trakhtenbrot A Survey of Russian Approaches to Perebor (Brute-Force Searches) Algorithms (англ.) // Annals of the History of Computing. — 1984. — Vol. 6, no. 4. — P. 384—400.
- Second Annual Kolmogorov Lecture (англ.)
- Leonid Levin Wins Humboldt Research Award Архівовано 30 травня 2010 у Wayback Machine. (англ.)
- ACM press release, August 22, 2012. Архів оригіналу за березень 3, 2016. Процитовано січень 11, 2017.
- Премия Кнута 2012 присуждена Леониду Левину
Література
- Dennis Elliott Shasha, Cathy A. Lazere. Stephen Cook and Leonid Levin: A good solution is hard to find // Out of their minds: the lives and discoveries of 15 great computer scientists. — Springer, 1998. — С. 139—156. — 291 с. — (Copernicus Series). — ISBN 0387982698.