Jim Horning - Jim Horning
Jim Horning | |
---|---|
narozený | 24. srpna 1942 |
Zemřel | 18. ledna 2013 | (ve věku 70)
Alma mater | Stanfordská Univerzita |
Vědecká kariéra | |
Instituce |
University of Toronto Palo Alto Research Center DEC Systems Research Center InterTrust Technologies Corp. |
Teze | Studie gramatické inference (1969) |
Doktorský poradce | Jerome A. „Jerry“ Feldman |
Doktorandi | John Guttag |
James Jay Horning (24 srpna 1942-18 ledna 2013) byl americký počítačový vědec a pracovník ACM .
Přehled
Jim Horning získal titul PhD v oboru počítačových věd na Stanford University v roce 1969 za práci nazvanou A Study of Grammatical Inference . Byl zakládajícím členem a později předsedou Výzkumné skupiny počítačových systémů na univerzitě v Torontu v Kanadě od roku 1969 do roku 1977. Poté působil jako vědecký pracovník ve výzkumném středisku Xerox Palo Alto Research Center (PARC) v letech 1977 až 1984 a zakládající člen a senior konzultant ve společnosti DEC Systems Research Center (DEC / SRC) od roku 1984 do roku 1996. Byl zakladatelem a ředitelem STAR Lab v letech 1997 až 2001 ve společnosti InterTrust Technologies Corp.
Peter G. Neumann uvedl dne 22. ledna 2013 v RISKS Digest , svazek 27, vydání 14, že Horning zemřel dne 18. ledna 2013.
Horningovy zájmy zahrnovaly programovací jazyky , metodiku programování , specifikaci , formální metody , správu digitálních práv a zabezpečení počítačů / sítí . Hlavním přínosem bylo jeho zapojení do Larchova přístupu k formální specifikaci s Johnem Guttagem ( MIT ) et al.
Vybrané publikace
- Generátor překladače (s Williamem M. McKeemanem a DB Wortmanem), Prentice Hall (1970). ISBN 0-13-155077-2 .
- Garland, SJ; Jones, KD; Modet, A .; Wing, JM (1993). Guttag, JV ; Horning, JJ (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, PG (červen 2008). "Rizika zanedbání infrastruktury". Comm. ACM . 51 (6): 112. doi : 10,1145 / 1349026,1349047 . S2CID 32720694 .