Jim Horning

{{Short description|American computer scientist (1942–2013)}}

{{use mdy dates|date=March 2024}}

{{Infobox scientist

| name = Jim Horning

| native_name =

| native_name_lang =

| image =

| image_size =

| alt =

| caption =

| birth_date = {{birth date|1942|08|24}}

| birth_place =

| death_date = {{death date and age|2013|01|18|1942|08|24}}

| death_place = Palo Alto, California

| other_names =

| residence =

| citizenship =

| nationality =

| fields =

| workplaces = University of Toronto
Palo Alto Research Center
DEC Systems Research Center
Intertrust Technologies Corporation

| patrons =

| alma_mater = Stanford University

| thesis_title = A Study of Grammatical Inference

| thesis_url = https://searchworks.stanford.edu/view/2198734

| thesis_year = 1969

| doctoral_advisor = Jerome A. "Jerry" Feldman

| academic_advisors =

| doctoral_students = John Guttag

| notable_students =

| known_for =

| author_abbrev_bot =

| author_abbrev_zoo =

| influences =

| influenced =

| awards =

| signature =

| signature_alt =

| website =

| footnotes =

| spouse =

| children =

}}

James Jay Horning (August 24, 1942 – January 18, 2013) was an American computer scientist and ACM Fellow.{{cite web|url=http://www.acm.org/news/featured/horning|title=Jim Horning, Past ACM Awards Committee Co-Chair, Dies|publisher=Association for Computing Machinery|date=|access-date=2013-01-24|archive-date=January 26, 2013|archive-url=https://web.archive.org/web/20130126085737/http://www.acm.org/news/featured/horning|url-status=dead}}

Overview

Jim Horning received a PhD in computer science from Stanford University in 1969 for a thesis entitled A Study of Grammatical Inference. He was a founding member, and later chairman, of the Computer Systems Research Group at the University of Toronto, Canada, from 1969 until 1977. He collaborated in the design of the programming language Euclid there.[https://web.cs.toronto.edu/people/in-memoriam#yui_3_17_2_1_1709429854588_312 "In Memoriam – Dr. James 'Jim' Horning"], Department of Computer Science, University of Toronto He was then a research fellow at the Xerox Palo Alto Research Center (PARC) from 1977 until 1984 and a founding member and senior consultant at DEC Systems Research Center (DEC/SRC) from 1984 until 1996. He was founder and director of STAR Lab from 1997 until 2001 at Intertrust Technologies Corporation.[https://dl.acm.org/profile/81100419927 "Jim Horning"], Association for Computing Machinery
[https://dl.acm.org/institution/60096352 "Intertrust Technologies Corporation], Association for Computing Machinery

Peter G. Neumann reported on 22 January 2013 in the RISKS Digest, volume 27, issue 14, that Horning had died on 18 January 2013[https://seclists.org/risks/2013/q1/1 "Risks Digest 27.14"], Peter G. Neumann, 22 January 2013 in Palo Alto, California/

Horning's interests included programming languages, programming methodology, specification, formal methods, digital rights management and computer/network security. A major contribution was his involvement with the Larch approach to formal specification with John Guttag (MIT) et al.

Selected publications

  • A Compiler Generator (with William M. McKeeman and D. B. Wortman), Prentice Hall (1970). {{ISBN|0-13-155077-2}}.
  • {{Cite book | last1 = Garland | first1 = S. J.| last2 = Jones | first2 = K. D.| last3 = Modet | first3 = A.| last4 = Wing | first4 = J. M. | author4-link = Jeannette Wing| editor1-last = Guttag | editor1-first = J. V. | editor1-link = John Guttag| editor2-last = Horning | editor2-first = J. J. |editor2-link = Jim Horning| doi = 10.1007/978-1-4612-2704-5| title = Larch: Languages and Tools for Formal Specification| publisher = Springer-Verlag| year = 1993| isbn = 978-1-4612-7636-4| s2cid = 13066418|ref=none}}
  • {{Cite journal| last1 = Denning | first1 = P. | author1-link = Peter J. Denning| last2 = Horning | first2 = J. | author2-link = Jim Horning| last3 = Parnas | first3 = D. | author3-link = David Parnas| last4 = Weinstein | first4 = L. | author4-link = Lauren Weinstein (technologist)| title = Wikipedia risks| doi = 10.1145/1101779.1101804| journal = Communications of the ACM| volume = 48| issue = 12| pages = 152| date=December 2005 | s2cid = 20322967|ref=none}}
  • {{Cite journal| last1 = Horning | first1 = J.| last2 = Neumann | first2 = P. G. | author2-link = Peter G. Neumann| doi = 10.1145/1349026.1349047| title = Risks of neglecting infrastructure| journal =Communications of the ACM| volume = 51| issue = 6| pages = 112| date=June 2008 | s2cid = 32720694|ref=none}}

References

{{Reflist}}