Jim Horning

James Jay "Jim" Horning (24 August 1942 – 18 January 2013) was an American computer scientist and ACM Fellow.

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 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 Corp.

Peter G. Neumann reported on 22 January 2013 in the RISKS Digest, Volume 27, Issue 14, that Horning had died on 18 January 2013.

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.

Horning

Coordinates: 52°42′00″N 1°28′01″E / 52.7°N 1.467°E / 52.7; 1.467

Horning is an ancient village and parish in the English county of Norfolk. It covers an area of 11 km² and had a population of 1,033 in the 2001 census. Horning parish lies on the northern bank of the River Bure south of the River Thurne and is located in The Broads National Park. For the purposes of local government, it falls within the district of North Norfolk, although areas alongside the rivers and broads fall into the executive area of the Broads Authority.

History

The name Horning means the "folk who live on the high ground between the rivers". Its history dates back to 1020 when the manor was given by King Canute to the newly founded Abbey of St. Benet at Hulme. The Bishop of Norwich, as Abbot of St. Benets, is still Lord of the Manor.

Horning Parish extends along the south bank of the River Bure to Thurne Mouth and includes the ruins of St Benet's Abbey & St. James Hospital. St. Benet's Abbey is a Grade I listed building, and dates back to the 9th Century. The importance of the Abbey as a medieval place of pilgrimage is reflected in the medieval finds of two papal seals, that would have secured documents from the Pope.