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

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

Карьера [ править ]

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

Признание [ править ]

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

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

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

Заметки [ править ]

Ссылки [ править ]

• Бортников, Эдвард (2007), "Обзор DISC '07", ACM SIGACT Новости , 38 (4): 49-53, DOI : 10,1145 / 1345189,1386170 , ISSN  0163-5700.
• Дворк, Синтия ; Линч, Нэнси ; Стокмайер, Ларри (1988), "Консенсус в присутствии частичной синхронности", Журнал ACM , 35 (2): 288-323, CiteSeerX  10.1.1.13.3423 , DOI : 10,1145 / 42282,42283 , S2CID  17007235.
• Fortnow, Lance (2005), «За пределами NP: работа и наследие Ларри Стокмейера» (PDF) , Proc. 37-й ежегодный симпозиум ACM по теории вычислений (STOC, Балтимор, Мэриленд, США, 2005) , стр. 120–127, DOI : 10.1145 / 1060590.1060609 , ISBN 978-1-58113-960-0, S2CID  16558679.
• Мейер, Альберт Р .; Stockmeyer, Ларри Дж. (1972), "Проблема эквивалентности для регулярных выражений с возведением в квадрат требует экспоненциального пространства", Proc. 13 - я ежегодная симпозиум по коммутации и теория автоматов . С. 125-129, DOI : 10,1109 / SWAT.1972.29.
• Rajsbaum, Серджио (2004), "Ларри Stockmeyer: 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, авторитетные исследователи .^{[ мертвая ссылка ]}
• «In Memoriam - Ларри Стокмейер» . Калифорнийский университет в Санта-Круз Течения онлайн . 9 августа 2004 г.
• «Административное сообщение: уход Ларри Стокмейера» . Калифорнийский университет в Санта-Крус . 5 августа 2004 года Архивировано из оригинала на 2008-05-28 . Проверено 8 февраля 2009 .
• «Ларри Джозеф Стокмейер» . Проект «Математическая генеалогия» .
• «Программа конференции STOC 2005» (PDF) . Включает программу «День памяти Ларри Стокмейера» (21 мая 2005 г.).

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

Внешние ссылки [ править ]

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