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

Ларри Стокмейер
Рожденный	1948
Умер	31 июля 2004 г.
Национальность	Американский
Занятие	ученый-компьютерщик
Известный	Пионеры в области теории сложности вычислений

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

Карьера

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

Признание

• 1996: Член Ассоциации вычислительной техники : «За несколько фундаментальных вкладов в теорию сложности вычислений, которые существенно повлияли на развитие этой области».
• 2007: Премия Эдсгера В. Дейкстры в области распределенных вычислений за статью Dwork, Lynch & Stockmeyer (1988) .

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

• Meyer & Stockmeyer (1972) — в этой работе была представлена ​​полиномиальная иерархия .
• Стокмейер (1974) — «одна из самых замечательных докторских диссертаций в области информатики».
• Чандра и Стокмейер (1976) — в этой работе были представлены чередующиеся машины Тьюринга .
• Дворк, Линч и Стокмейер (1988) — эта статья получила премию Дейкстры в 2007 году.

Ссылки

• Бортников, Эдвард (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. дои : 10.1109/SFCS.1976.4 .
• Дворк, Синтия ; Линч, Нэнси ; Стокмейер, Ларри (1988), «Консенсус при наличии частичной синхронности», Journal of the ACM , 35 (2): 288–323, CiteSeerX   10.1.1.13.3423 , doi : 10.1145/42282.42283 , S2CID   17007235 .
• Фортнау, Лэнс (2005), «За пределами NP: работа и наследие Ларри Стокмейера» (PDF) , Proc. 37-й ежегодный симпозиум ACM по теории вычислений (STOC, Балтимор, Мэриленд, США, 2005 г.) , стр. 120–127, doi : 10.1145/1060590.1060609 , ISBN  978-1-58113-960-0 , S2CID   16558679 .
• Мейер, Альберт Р .; Стокмейер, Ларри Дж. (1972), «Проблема эквивалентности регулярных выражений с возведением в квадрат требует экспоненциального пространства», Proc. 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, высоко цитируемые исследователи .
• «Памяти Ларри Стокмейера» . Калифорнийский университет в Санта-Крус-Каррентс онлайн . 9 августа 2004 г.
• «Административное сообщение: кончина Ларри Стокмейера» . Калифорнийский университет в Санта-Крус . 5 августа 2004 г. Архивировано из оригинала 28 мая 2008 г. Проверено 8 февраля 2009 г.
• «Ларри Джозеф Стокмейер» . Проект математической генеалогии .
• «Программа конференции STOC 2005» (PDF) . Включает программу «Памятность Ларри Стокмейера» (21 мая 2005 г.).

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

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