Jim Horning - Jim Horning

James Jay Horning (24 srpna 1942-18 ledna 2013) byl Američan počítačový vědec a Člen ACM.^[1]

Přehled

Jim Horning obdržel a PhD v informatice od Stanfordská Univerzita v roce 1969 za práci s názvem Studie gramatické inference. Byl zakládajícím členem a později předsedou Výzkumné skupiny počítačových systémů v University of Toronto V Kanadě, od roku 1969 do roku 1977. Poté působil jako vědecký pracovník na xerox Výzkumné centrum Palo Alto (PARC) od roku 1977 do roku 1984 a zakládající člen a vedoucí konzultant ve společnosti DEC Systems Research Center (DEC / SRC) od roku 1984 do roku 1996. Byl zakladatelem a ředitelem společnosti STAR Lab od roku 1997 do roku 2001 v InterTrust Technologies Corp.

Peter G. Neumann hlášeno dne 22. ledna 2013 v RIZIKA Digest, Svazek 27, číslo 14, že Horning zemřel dne 18. ledna 2013.^[2]

Horningovy zájmy zahrnuty programovací jazyky, metodologie programování, Specifikace, formální metody, správa digitálních práv a zabezpečení počítače / sítě. Hlavním přínosem bylo jeho zapojení do Modřín přístup k formální specifikace s John Guttag (MIT ) et al.

Vybrané publikace

• Generátor kompilátoru (s William M. McKeeman a D. B. Wortman), Prentice Hall (1970). ISBN  0-13-155077-2.
• Garland, S. J .; Jones, K. D .; Modet, A .; Wing, J. M. (1993). Guttag, J. V.; Horning, J. J. (eds.). Larch: Jazyky a nástroje pro formální specifikaci. Springer-Verlag. doi:10.1007/978-1-4612-2704-5. ISBN  978-1-4612-7636-4. S2CID  13066418.
• Denning, P.; Horning, J.; Parnas, D.; Weinstein, L. (Prosinec 2005). "Rizika Wikipedie". Comm. ACM. 48 (12): 152. doi:10.1145/1101779.1101804. S2CID  20322967.
• Horning, J.; Neumann, P. G. (Červen 2008). "Rizika zanedbání infrastruktury". Comm. ACM. 51 (6): 112. doi:10.1145/1349026.1349047. S2CID  32720694.

Reference

externí odkazy

• Domovská stránka
• Životopis