Ларри Стокмейер - Larry Stockmeyer

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

Карьера

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

Признание

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

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

• Мейер и Стокмейер (1972) - эта работа представила полиномиальная иерархия.^[5][6]
• Штокмейер (1974) - «одна из самых замечательных докторских диссертаций по информатике».^[7]
• Чандра и Стокмейер (1976) Ошибка harvtxt: несколько целей (2 ×): CITEREFChandraStockmeyer1976 (Помогите) - эта работа представила чередующиеся машины Тьюринга.^[8]
• Дворк, Линч и Стокмейер (1988) - эта статья получила Премия Дейкстры в 2007.^[3]

Заметки

использованная литература

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

• Chandra, Ashok K .; Стокмейер, Ларри Дж. (1976). «Чередование». Proc. 17-й симпозиум IEEE. по основам информатики. Хьюстон, Техас. С. 98–108. Дои:10.1109 / SFCS.1976.4.

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

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