Джим Хорнинг - Jim Horning

Джеймс Джей Хорнинг (24 августа 1942 - 18 января 2013) был американцем специалист в области информатики и Член ACM.^[1]

Обзор

Джим Хорнинг получил кандидат наук в информатике из Стэндфордский Университет в 1969 г. за диссертацию на тему Исследование грамматического вывода. Он был одним из основателей, а затем и председателем исследовательской группы компьютерных систем в Университет Торонто, Канада, с 1969 по 1977 год. Затем он был научным сотрудником Ксерокс Исследовательский центр Пало-Альто (PARC) с 1977 по 1984 год, член-основатель и старший консультант в Центр системных исследований DEC (DEC / SRC) с 1984 по 1996 год. Он был основателем и директором STAR Lab с 1997 по 2001 год при InterTrust Technologies Corp.

Питер Г. Нойман сообщалось 22 января 2013 г. в Дайджест РИСКОВ, Том 27, выпуск 14, что Хорнинг умер 18 января 2013 года.^[2]

Интересы Хорнинга включали языки программирования, методология программирования, Технические характеристики, формальные методы, управление цифровыми правами и компьютерная / сетевая безопасность. Важным вкладом было его участие в Лиственница подход к формальная спецификация с Джон Гуттаг (Массачусетский технологический институт ) и другие.

Избранные публикации

• Генератор компилятора (с Уильям М. МакКиман и Д. Б. Вортман), Prentice Hall (1970). ISBN  0-13-155077-2.
• Гарланд, С. Дж .; Джонс, К. Д .; Modet, A .; Винг, Дж. М. (1993). Гуттаг, Дж. В.; Хорнинг, Дж. Дж. (ред.). Лиственница: языки и инструменты для формальной спецификации. Springer-Verlag. Дои:10.1007/978-1-4612-2704-5. ISBN  978-1-4612-7636-4. S2CID  13066418.
• Деннинг, П.; Хорнинг, Дж.; Парнас, Д.; Вайнштейн, Л. (Декабрь 2005 г.). «Риски Википедии». Comm. ACM. 48 (12): 152. Дои:10.1145/1101779.1101804. S2CID  20322967.
• Хорнинг, Дж.; Нойман, П.Г. (Июнь 2008 г.). «Риски запущенности инфраструктуры». Comm. ACM. 51 (6): 112. Дои:10.1145/1349026.1349047. S2CID  32720694.

Рекомендации

внешняя ссылка

• Домашняя страница
• Биография Резюме