Левин, Леонид Анатольевич
Леони́д Анато́льевич Ле́вин (род. 2 ноября 1948, Днепропетровск) — советский и американский математик, специалист в области теории вычислительной сложности. Профессор информатики в Бостонском университете.
Член Национальной академии наук США (2019)[2].
Общие сведения
| Леонид Анатольевич Левин | |
|---|---|
| Дата рождения | 2 ноября 1948 (77 лет) |
| Место рождения | Днепропетровск, Украинская ССР, СССР |
| Страна | СССР, США |
| Научная сфера | информатика |
| Место работы | Бостонский университет |
| Образование |
|
| Учёная степень |
кандидат физико-математических наук (1972) доктор философии по математике (1979) |
| Научный руководитель |
А. Н. Колмогоров en:Albert R. Meyer |
| Известен как | один из авторов теоремы Кука — Левина |
| Награды и премии | |
| Сайт | cs.bu.edu/~lnd/ |
Биография
Родился 2 ноября 1948 года в Днепропетровске. В 1970 году окончил Московский государственный университет, после чего работал там же на должности научного сотрудника под научным руководством Андрея Колмогорова. В 1971 году представил кандидатскую диссертацию[3], выполнив все формальные требования по её предварительному апробированию, диссертация была одобрена Колмогоровым, всеми оппонентами и головной организацией[4], однако учёная степень Левину присуждена не была[5][6]. Формальной причиной для этого послужила «неопределённость политического облика» соискателя, что, в совокупности с последующими притеснениями в научных кругах, послужили одной из причин для эмиграции[7].
В 1972—1973 годах работал в Институте проблем передачи информации АН СССР, а с 1973 по 1977 годы — во Всесоюзном научно-исследовательском институте комплексной автоматизации нефтяной и газовой промышленности (ВНИИКАНефтегаз) на должности старшего научного сотрудника.
В 1978 году эмигрировал в США. В 1979 году получил диплом доктора философии по математике в Массачусетском технологическом институте. С 1980 года работает и преподаёт в Бостонском университете. В 2014 году избран членом Американской академии искусств и наук[8].
Основные результаты — в области теории вероятностей в применении к информатике, теории сложности вычислений.
Независимо от Стивена Кука доказал в 1971 году теорему Кука — Левина, благодаря которой была сформулирована проблема равенства классов P и NP, ставшая одной из задач тысячелетия. Работа была опубликована только в 1973 году[9], но была доложена на конференциях, что позже позволило установить приоритет Левина[10].
Награды
- 2004 — Медаль Колмогорова (Лондонский университет)[11]
- 2010 — Премия Гумбольдта[12]
- 2012 — Премия Кнута[13][14]
Примечания
Литература
- 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.
Ссылки
- Персональная страница на сайте Бостонского университета (англ.). Дата обращения: 7 ноября 2012. Архивировано 8 мая 2012 года.
- Curriculum vitae (англ.). Дата обращения: 7 ноября 2012. Архивировано 8 мая 2012 года.
- Список публикаций (англ.). Дата обращения: 7 ноября 2012. Архивировано 6 декабря 2012 года.
- Диссертация А. Л. Левина
- Отзывы о диссертации Л. А. Левина