Джеймс Джей Хорнинг (24 августа 1942 г. — 18 января 2013 г.) — американский учёный-компьютерщик и член ACM . [1]
Джим Хорнинг получил докторскую степень в области компьютерных наук в Стэнфордском университете в 1969 году за диссертацию под названием «Исследование грамматического вывода» . Он был одним из основателей, а затем председателем Исследовательской группы компьютерных систем в Университете Торонто , Канада, с 1969 по 1977 год. Он участвовал в разработке языка программирования Euclid там. [2] Затем он был научным сотрудником в исследовательском центре Xerox Palo Alto (PARC) с 1977 по 1984 год и основателем и старшим консультантом в исследовательском центре DEC Systems (DEC/SRC) с 1984 по 1996 год. Он был основателем и директором STAR Lab с 1997 по 2001 год в Intertrust Technologies Corporation . [3]
Питер Г. Ньюманн сообщил 22 января 2013 года в RISKS Digest , том 27, выпуск 14, что Хорнинг умер 18 января 2013 года [4] в Пало-Альто, Калифорния/ [2]
Интересы Хорнинга включали языки программирования , методологию программирования , спецификацию , формальные методы , управление цифровыми правами и компьютерную/сетевую безопасность . Главным вкладом было его участие в подходе Ларча к формальной спецификации с Джоном Гуттагом ( MIT ) и др.
