Jim Horning - Jim Horning
Jim Horning | |
|---|---|
| Née | 24 août 1942 |
| Décédés | 18 janvier 2013 (à 70 ans) |
| mère nourricière | Université de Stanford |
| Carrière scientifique | |
| Les institutions |
Université de Toronto Centre de recherche Palo Alto Centre de recherche sur les systèmes DEC InterTrust Technologies Corp. |
| Thèse | Une étude de l'inférence grammaticale (1969) |
| Conseiller doctoral | Jerome A. «Jerry» Feldman |
| Doctorants | John Guttag |
James Jay Horning (24 août 1942 - 18 janvier 2013) était un informaticien américain et membre ACM .
Aperçu
Jim Horning a obtenu un doctorat en informatique de l'Université de Stanford en 1969 pour une thèse intitulée A Study of Grammatical Inference . Il a été membre fondateur, puis président, du Computer Systems Research Group de l' Université de Toronto , Canada, de 1969 à 1977. Il a ensuite été chercheur au Xerox Palo Alto Research Center (PARC) de 1977 à 1984 et membre fondateur et consultant senior au DEC Systems Research Center (DEC / SRC) de 1984 à 1996. Il a été fondateur et directeur de STAR Lab de 1997 à 2001 chez InterTrust Technologies Corp.
Peter G.Neumann a rapporté le 22 janvier 2013 dans RISKS Digest , volume 27, numéro 14, que Horning était décédé le 18 janvier 2013.
Les intérêts de Horning inclus des langages de programmation , méthodologie de programmation , spécifications , méthodes formelles , la gestion des droits numériques et la sécurité informatique / réseau . Une contribution majeure a été son implication dans l' approche Larch de la spécification formelle avec John Guttag ( MIT ) et al.
Sélection de publications
- A Compiler Generator (avec William M. McKeeman et DB Wortman), Prentice Hall (1970). ISBN 0-13-155077-2 .
- Garland, SJ; Jones, KD; Modet, A .; Wing, JM (1993). Guttag, JV ; Horning, JJ (éd.). Mélèze: Langages et outils pour la spécification formelle . 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. (décembre 2005). "Risques Wikipédia". Comm. ACM . 48 (12): 152. doi : 10.1145 / 1101779.1101804 . S2CID 20322967 .
- Horning, J .; Neumann, PG (juin 2008). «Risques de négliger les infrastructures». Comm. ACM . 51 (6): 112. doi : 10.1145 / 1349026.1349047 . S2CID 32720694 .