Алан Салман
Алан Л. Селман | |
|---|---|
 Алан Л. Селман | |
| Рожденный | 2 апреля 1941 г. |
| Умер | 22 января 2021 г. (79 лет) |
| Альма-матер | Бакалавр, Городской колледж Нью-Йорка , 1962 г. Массачусетс, Калифорнийский университет, Беркли , 1964 г. Доктор философии, Университет штата Пенсильвания , 1970 г. |
| Известный | Теория структурной сложности |
| Супруг | Шэрон Селман |
| Награды | Член ACM Премия Фулбрайта Премия Гумбольдта за исследования Университета Буффало за выдающиеся достижения Премия SUNY за выдающиеся достижения в области стипендий и творческой деятельности Премия канцлера Японского общества содействия развитию науки Приглашение на стипендию Премия ACM SIGACT за выдающиеся заслуги Премия IEEE Computer Society за заслуги перед основанием симпозиума по структуре в сложности |
| Научная карьера | |
| Поля | Теоретическая информатика Математика |
| Диссертация | Арифметические сводимости и наборы формул, действительных в конечных структурах (1970) |
| Докторантура | Пол Экст |
| Докторанты | Йоахим Гроллман Джон Геске Рой Рубинштейн Ашиш Наик А. Паван С. Сенгупта Лию Чжан Дунг Нгуен Эндрю Хьюз Мицунори Огихара (постдокторант) Эдит Хемаспаандра (постдокторант) Кристиан Глассер (постдокторант) |
Алан Луи Селман (2 апреля 1941 г. - 22 января 2021 г.) [1] был математиком и ученым-теоретиком в области информатики, известным своими исследованиями в области теории структурной сложности , изучением вычислительной сложности с точки зрения связи между классами сложности, а не отдельными алгоритмическими задачами. [2] [3]
Образование и карьера
[ редактировать ]Селман был выпускником Городского колледжа Нью-Йорка . Он получил степень магистра в Калифорнийском университете в Беркли, а затем защитил докторскую диссертацию. в 1970 году в Пенсильванском государственном университете . [4] Его диссертация « Арифметические сводимости и наборы формул, действительных в конечных структурах » была написана под руководством Пола Экста, ученика Стивена Коула Клини . [5]
Он стал постдокторантом-исследователем в Университете Карнеги-Меллона и доцентом математики в Университете штата Флорида , а затем перешел на факультет компьютерных наук Университета штата Айова , где в конечном итоге стал профессором. В конце 1980-х он перешёл в Северо-Восточный университет , став там исполняющим обязанности декана, а в 1990 году снова перешёл в Университет Буффало на должность кафедры информатики. Он вышел на пенсию в 2014 году и умер 22 января 2021 года. [4]
Он был первым председателем ежегодной конференции по сложности вычислений . [4] был главным редактором журнала «Теория вычислительных систем» . и в течение 18 лет [6] начиная с 2001 года. [3]
Избранные публикации
[ редактировать ]Исследовательские публикации Селмана включали хорошо цитируемые работы по классификации различных типов редукций в зависимости от их вычислительной мощности, формулировке проблем обещания , классу сложности UP задач, решаемых однозначными машинами Тьюринга , и их приложениям к вычислительной сложности криптографии : [2] [3]
- Ладнер, RE ; Линч, Северная Каролина ; Селман, А.Л. (1975), «Сравнение полиномиальной приводимости по времени», Theoretical Computer Science , 1 (2): 103–123, doi : 10.1016/0304-3975(75)90016-X , MR 0395319
- Даже Шимон ; Селман, Алан Л.; Якоби, Яков (1984), «Сложность проблем обещаний с приложениями к криптографии с открытым ключом», Information and Control , 61 (2): 159–173, doi : 10.1016/S0019-9958(84)80056-X , MR 0772678
- Гролльманн, Иоахим; Селман, Алан Л. (1988), «Меры сложности криптосистем с открытым ключом», SIAM Journal on Computing , 17 (2): 309–335, doi : 10.1137/0217018 , MR 0935342
Помимо того, что Селман был редактором нескольких отредактированных томов , он был соавтором учебника « Теория вычислимости и сложности» (совместно со Стивом Гомером, Springer, 2001; 2-е изд., 2011). [7]
Признание
[ редактировать ]Селман был стипендиатом Фулбрайта и стипендиатом Гумбольдта. [4] В 1998 году он был назван членом ACM как «влиятельный участник теории сложности вычислений и преданный своему делу профессионал в академическом сообществе информатики». [8] В 2002 году ACM SIGACT (Специальная группа по алгоритмам и теории вычислений Ассоциации вычислительной техники ) вручила ему премию «За выдающиеся заслуги», отметив его работу по созданию Конференции по сложности вычислений и оказанию помощи в финансировании теоретических исследований в области информатики через его работа по составлению политических отчетов для Национального научного фонда . [9]
Журнал «Теория вычислительных систем» готовит памятный выпуск, посвященный его памяти. [6]
Ссылки
[ редактировать ]- ^ Селман, Шэрон, В память о Университете Буффало , получено 6 августа 2021 г.
- ^ Jump up to: Перейти обратно: а б Феннер, Стивен (март 2021 г.), «Воспоминания об Алане», ACM SIGACT News , 52 (1): 87–93, doi : 10.1145/3457588.3457603 , S2CID 232245680
- ^ Jump up to: Перейти обратно: а б с Хемаспаандра, Лейн А. (сентябрь 2014 г.), «Красивые сооружения: высокая оценка вклада Алана Селмана», ACM SIGACT News , 45 (3): 54–70, doi : 10.1145/2670418.2670436 , S2CID 1948170
- ^ Jump up to: Перейти обратно: а б с д Доктор Алан Л. Селман, 1941–2021 гг ., Факультет компьютерных наук Университета штата Айова, 12 февраля 2021 г. , получено 6 августа 2021 г.
- ^ Алан Селман в проекте «Математическая генеалогия»
- ^ Jump up to: Перейти обратно: а б «Памятный выпуск Алана Л. Селмана» , Обновления журнала: Theory of Computing Systems , Springer , получено 6 августа 2021 г.
- ^ Обзоры теории вычислимости и сложности :
- Anatoly V. Anisimov (1st ed.), Збл 1033.68045
- Эовин В. Ченек (2002, 1-е изд.), ACM SIGACT News , дои : 10.1145/582475.582480
- Джеффри Шалит (2013, 2-е изд.), ACM SIGACT News , дои : 10.1145/2556663.2556672
- Гериберт Фоллмер (2-е изд.), Збл 1248.68192
- ^ «Алан Селман» , стипендиат ACM , Ассоциация вычислительной техники , получено 6 августа 2021 г.
- ^ Премия ACM-SIGACT за выдающиеся заслуги 2002 г.: Алан Селман , ACM SIGACT , получено 6 августа 2021 г.
Внешние ссылки
[ редактировать ]- Публикации Алана Селмана , индексируемые Google Scholar
- 1941 года рождения
- 2021 смертей
- Американские математики XX века
- Американские математики XXI века
- Американские ученые-компьютерщики
- Американские ученые-теоретики-компьютерщики
- Выпускники Городского колледжа Нью-Йорка
- Выпускники Калифорнийского университета в Беркли
- Выпускники Пенсильванского государственного университета
- Преподаватели Университета штата Флорида
- Преподаватели Университета штата Айова
- 1998 г. Члены Ассоциации вычислительной техники.