Jim Horning - Jim Horning
Jim Horning | |
---|---|
Geboren | 24. August 1942 |
Ist gestorben | 18. Januar 2013 | (70 Jahre)
Alma Mater | Universität in Stanford |
Wissenschaftliche Karriere | |
Institutionen |
Palo Alto-Forschungszentrum der Universität von Toronto DEC-Systemforschungszentrum InterTrust Technologies Corp. |
These | Eine Studie über grammatikalische Inferenz (1969) |
Doktorvater | Jerome A. "Jerry" Feldman |
Doktoranden | John Guttag |
James Jay Horning (24. August 1942 - 18. Januar 2013) war ein US-amerikanischer Informatiker und ACM Fellow .
Überblick
Jim Horning promovierte 1969 an der Stanford University in Informatik für eine Dissertation mit dem Titel A Study of Grammatical Inference . Von 1969 bis 1977 war er Gründungsmitglied und später Vorsitzender der Forschungsgruppe für Computersysteme an der Universität von Toronto , Kanada. Von 1977 bis 1984 war er wissenschaftlicher Mitarbeiter am Xerox Palo Alto Research Center (PARC) Von 1984 bis 1996 Gründungsmitglied und Senior Consultant am DEC Systems Research Center (DEC / SRC). Von 1997 bis 2001 war er Gründer und Direktor von STAR Lab bei InterTrust Technologies Corp.
Peter G. Neumann berichtete am 22. Januar 2013 im RISKS Digest , Band 27, Ausgabe 14, dass Horning am 18. Januar 2013 gestorben war.
Zu den Interessen von Horning gehörten Programmiersprachen , Programmiermethoden , Spezifikationen , formale Methoden , Verwaltung digitaler Rechte und Computer- / Netzwerksicherheit . Ein wichtiger Beitrag war seine Beteiligung am Larch- Ansatz zur formalen Spezifikation bei John Guttag ( MIT ) et al.
Ausgewählte Publikationen
- Ein Compiler-Generator (mit William M. McKeeman und DB Wortman), Prentice Hall (1970). ISBN 0-13-155077-2 .
- Garland, SJ; Jones, KD; Modet, A.; Wing, JM (1993). Guttag, JV ; Horning, JJ (Hrsg.). Lärche: Sprachen und Werkzeuge für die formale Spezifikation . 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. (Dezember 2005). "Wikipedia-Risiken". Comm. ACM . 48 (12): 152. doi : 10.1145 / 1101779.1101804 . S2CID 20322967 .
- Horning, J . ; Neumann, PG (Juni 2008). "Risiken der Vernachlässigung der Infrastruktur". Comm. ACM . 51 (6): 112. doi : 10.1145 / 1349026.1349047 . S2CID 32720694 .