Джим Хорнинг
Джим Хорнинг | |
---|---|
Рожденный | 24 августа 1942 г. |
Умер | 18 января 2013 г. Пало-Альто, Калифорния | (70 лет)
Альма-матер | Стэнфордский университет |
Научная карьера | |
Учреждения | Университет Торонто Исследовательский центр Пало-Альто Центр системных исследований DEC Корпорация Интертраст Технологии |
Диссертация | Исследование грамматического вывода (1969) |
Докторантура | Джером А. «Джерри» Фельдман |
Докторанты | Джон Гуттаг |
Джеймс Джей Хорнинг (24 августа 1942 — 18 января 2013) — американский ученый-компьютерщик и член ACM . [1]
Обзор [ править ]
Джим Хорнинг получил степень доктора компьютерных наук в Стэнфордском университете в 1969 году за диссертацию под названием « Исследование грамматического вывода» . Он был одним из основателей, а затем председателем Исследовательской группы компьютерных систем в Университете Торонто он участвовал в разработке языка программирования Euclid . , Канада, с 1969 по 1977 год. Там [2] Затем он был научным сотрудником Исследовательского центра Xerox в Пало-Альто (PARC) с 1977 по 1984 год, а также членом-учредителем и старшим консультантом Исследовательского центра систем DEC (DEC/SRC) с 1984 по 1996 год. Он был основателем и директором STAR Lab. с 1997 по 2001 год в Intertrust Technologies Corporation . [3]
Питер Г. Нойман сообщил 22 января 2013 года в журнале RISKS Digest , том 27, выпуск 14, что Хорнинг умер 18 января 2013 года. [4] в Пало-Альто, Калифорния/ [2]
Интересы Хорнинга включали языки программирования , методологию программирования , спецификации , формальные методы , управление цифровыми правами и компьютерную/сетевую безопасность . Большим вкладом стало его участие в разработке подхода Larch к формальным спецификациям вместе с Джоном Гуттагом ( MIT ) и др.
Избранные публикации [ править ]
- Генератор компилятора (совместно с Уильямом М. Маккиманом и Д. Б. Вортманом), Прентис Холл (1970). ISBN 0-13-155077-2 .
- Гарланд, С.Дж.; Джонс, К.Д.; Модет, А.; Винг, Дж. М. (1993). Гуттаг, СП ; Хорнинг, Джей-Джей (ред.). Лиственница: языки и инструменты для формальной спецификации . Спрингер-Верлаг . дои : 10.1007/978-1-4612-2704-5 . ISBN 978-1-4612-7636-4 . S2CID 13066418 .
- Деннинг, П .; Хорнинг, Дж .; Парнас, Д. ; Вайнштейн, Л. (декабрь 2005 г.). «Arc.Ask3.Ru рискует». Коммуникации АКМ . 48 (12): 152. дои : 10.1145/1101779.1101804 . S2CID 20322967 .
- Хорнинг, Дж.; Нойманн, П.Г. (июнь 2008 г.). «Риски пренебрежения инфраструктурой». Коммуникации АКМ . 51 (6): 112. дои : 10.1145/1349026.1349047 . S2CID 32720694 .
Ссылки [ править ]
- ^ «Джим Хорнинг, бывший сопредседатель комитета по наградам ACM, умер» . Ассоциация вычислительной техники . Архивировано из оригинала 26 января 2013 года . Проверено 24 января 2013 г.
- ^ Jump up to: а б «В память о докторе Джеймсе «Джиме» Хорнинге» , факультет компьютерных наук Университета Торонто.
- ^ «Джим Хорнинг» , Ассоциация вычислительной техники
«Корпорация Intertrust Technologies» , Ассоциация вычислительной техники - ^ «Дайджест рисков 27.14» , Питер Г. Нойман , 22 января 2013 г.
Внешние ссылки [ править ]
- Домашняя страница (архивировано 29 сентября 2005 г.)
- Биографическая справка (архивировано 5 марта 2005 г.)