Jim Horning - Jim Horning
Jim Horning | |
|---|---|
| Født | 24. august 1942 |
| Døde | 18. januar 2013 (70 år) |
| Alma Mater | Stanford University |
| Videnskabelig karriere | |
| Institutioner |
University of Toronto Palo Alto Research Center DEC Systems Research Center InterTrust Technologies Corp. |
| Afhandling | En undersøgelse af grammatisk slutning (1969) |
| Doktorrådgiver | Jerome A. "Jerry" Feldman |
| Doktorander | John Guttag |
James Jay Horning (24. august 1942 - 18. januar 2013) var en amerikansk datalog og ACM-stipendiat .
Oversigt
Jim Horning modtog en ph.d. i datalogi fra Stanford University i 1969 for en afhandling med titlen A Study of Grammatical Inference . Han var stiftende medlem og senere formand for Computer Systems Research Group ved University of Toronto , Canada, fra 1969 til 1977. Han var derefter forsker ved Xerox Palo Alto Research Center (PARC) fra 1977 til 1984 og et stiftende medlem og seniorkonsulent ved DEC Systems Research Center (DEC / SRC) fra 1984 til 1996. Han var grundlægger og direktør for STAR Lab fra 1997 til 2001 hos InterTrust Technologies Corp.
Peter G. Neumann rapporterede den 22. januar 2013 i RISKS Digest , bind 27, nummer 14, at Horning var død den 18. januar 2013.
Hornings interesser omfattede programmeringssprog , programmeringsmetode , specifikation , formelle metoder , digital rettighedsadministration og computer / netværkssikkerhed . Et stort bidrag var hans engagement i Larch- tilgangen til formel specifikation med John Guttag ( MIT ) et al.
Udvalgte publikationer
- En kompilatorgenerator (med William M. McKeeman og DB Wortman), Prentice Hall (1970). ISBN 0-13-155077-2 .
- Garland, SJ; Jones, KD; Modet, A .; Wing, JM (1993). Guttag, JV ; Horning, JJ (red.). Lærke: Sprog og værktøjer til formel specifikation . 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. (december 2005). "Wikipedia risikerer". Comm. ACM . 48 (12): 152. doi : 10.1145 / 1101779.1101804 . S2CID 20322967 .
- Horning, J .; Neumann, PG (juni 2008). "Risici ved forsømmelse af infrastruktur". Comm. ACM . 51 (6): 112. doi : 10.1145 / 1349026.1349047 . S2CID 32720694 .