Ларри Стокмейер

Американский учёный-компьютерщик

Ларри Джозеф Стокмейер (1948 – 31 июля 2004) был американским ученым-компьютерщиком . Он был одним из пионеров в области теории сложности вычислений , а также работал в области распределенных вычислений . Он умер от рака поджелудочной железы . ^[1]

Карьера

• 1972: Бакалавр математики, Массачусетский технологический институт .
• 1972: магистр электротехники, Массачусетский технологический институт.
• 1974: докторская степень по информатике, Массачусетский технологический институт.
  • Руководитель: Альберт Р. Мейер .
• 1974–1982: IBM Research , Исследовательский центр Томаса Дж. Уотсона , Йорктаун-Хайтс, Нью-Йорк.
• 1982–ноябрь 2003: IBM Research, исследовательский центр Almaden , Сан-Хосе, Калифорния.
• Октябрь 2002 г. – 2004 г.: Калифорнийский университет в Санта-Крузе , кафедра компьютерных наук – научный сотрудник.

Признание

• 1996: Член Ассоциации вычислительной техники : «За ряд фундаментальных вкладов в теорию сложности вычислений, которые существенно повлияли на развитие этой области». ^[2]
• 2007: Премия Эдсгера В. Дейкстры в области распределенных вычислений за статью Дворка, Линча и Стокмейера (1988). ^{[3] [4]}

Известные публикации

• Мейер и Стокмейер (1972) — в этой работе была введена полиномиальная иерархия . ^{[5] [6]}
• Стокмейер (1974) — «одна из самых замечательных докторских диссертаций в области компьютерных наук». ^[7]
• Чандра и Стокмейер (1976) — в этой работе были представлены альтернативные машины Тьюринга . ^[8]
• Дворк, Линч и Стокмейер (1988) — эта работа получила премию Дейкстры в 2007 году. ^[3]

Примечания

1. "In Memoriam". currents online . UC Santa Cruz. 9 августа 2004 г. Архивировано из оригинала 30 сентября 2015 г. Получено 6 июня 2016 г.
2. ACM: Fellows Award / Larry Stockmeyer Архивировано 14 декабря 2007 г. на Wayback Machine .
3. PODC : Премия Дейкстры 2007.
4. Бортников (2007).
5. Фортнау (2005).
6. Раджсбаум (2004).
7. Программа STOC 2005.
8. Чандра и Стокмейер (1976).

Ссылки

• Бортников, Эдвард (2007), «Обзор DISC '07», ACM SIGACT News , 38 (4): 49–53, doi : 10.1145/1345189.1386170 , ISSN  0163-5700.
• Чандра, Ашок К.; Стокмейер, Ларри Дж. (1976). «17-й ежегодный симпозиум по основам компьютерной науки (SFCS 1976)». Труды 17-го симпозиума IEEE по основам компьютерной науки . Хьюстон, Техас. стр. 98–108. doi :10.1109/SFCS.1976.4.
• Дворк, Синтия ; Линч, Нэнси ; Стокмейер, Ларри (1988), «Консенсус при наличии частичной синхронности», Журнал ACM , 35 (2): 288–323, CiteSeerX  10.1.1.13.3423 , doi :10.1145/42282.42283, S2CID  17007235.
• Фортнау, Лэнс (2005), «За пределами NP: работа и наследие Ларри Стокмейера» (PDF) , Труды 37-го ежегодного симпозиума ACM по теории вычислений (STOC, Балтимор, Мэриленд, США, 2005) , стр. 120–127, doi :10.1145/1060590.1060609, ISBN 978-1-58113-960-0, S2CID  16558679.
• Мейер, Альберт Р.; Стокмейер, Ларри Дж. (1972), «Проблема эквивалентности для регулярных выражений с возведением в квадрат требует экспоненциального пространства», Труды 13-го ежегодного симпозиума по теории коммутации и автоматов , стр. 125–129, doi :10.1109/SWAT.1972.29.
• Раджсбаум, Серджио (2004), «Ларри Стокмейер: 1948–2004», ACM SIGACT News , 35 (4): 39, doi :10.1145/1054916.1054930, ISSN  0163-5700, S2CID  26255529.
• Стокмейер, Ларри Дж. (1974), Сложность проблем принятия решений в теории автоматов и логике (диссертация), Массачусетский технологический институт, hdl :1721.1/15540Кандидатская диссертация.
• «Ларри Стокмейер». ISI Web of Knowledge, высокоцитируемые исследователи .^{[ мертвая ссылка ]}
• «Памяти Ларри Стокмейера». UC Santa Cruz Currents Online . 9 августа 2004 г.
• «Административное сообщение: Кончина Ларри Стокмейера». Калифорнийский университет в Санта-Крузе . 5 августа 2004 г. Архивировано из оригинала 28-05-2008 . Получено 08-02-2009 .
• «Ларри Джозеф Стокмейер». Проект генеалогии математики .
• "Программа конференции STOC 2005" (PDF) .Включает программу «Памяти Ларри Стокмейера» (21 мая 2005 г.).

Внешние ссылки

• Домашняя страница Ларри Стокмейера.
• Ларри Дж. Стокмейер на библиографическом сервере DBLP